UTCS Artificial Intelligence
courses
talks
demos
people
projects
publications
software
labs
Automatic Programming
Director:
Gordon Novak
Our goal is automatic generation of computer programs from specifications that are much smaller and easier to write than ordinary programs.
People
Yulin Li
Gordon Novak
Publications
Interactions of Abstractions in Programming
(2000)
Software Reuse by Specialization of Generic Procedures through Views
(1997)
Creation of Views for Reuse of Software with Different Data Representations
(1995)
Conversion of Units of Measurement
(1995)
Composing Reusable Software Components through Views
(1994)
Generating Programs from Connections of Physical Models
(1994)
Negotiated Interfaces for Software Reuse
(1992)
Software Reuse through View Type Clusters
(1992)
GLISP: A Lisp-based Programming System with Data Abstraction
(1988)
Projects
Automatic Programming Server
Programming and Problem Solving by Connecting Diagrams
Graphical Programming Server