Automatic Programming
Webpage: http://www.cs.utexas.edu/users/novak
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
Gordon Novak Professor novak@cs.utexas.edu
Publications (26)
Generation of Geometric Programs Specified by Diagrams 2011
Yulin Li, Gordon Novak
Generation of geometric programs specified by diagrams 2011
Yulin Li and Gordon S. Novak, Jr.
Computer aided software design via inference and constraint propagation 2009
Gordon Novak
Coupling Data Understanding with Software Reuse 2008
Gordon Novak
Interactions of Abstractions in Programming 2000
Gordon S. Novak Jr.
Software Reuse by Specialization of Generic Procedures through Views 1997
Gordon S. Novak Jr.
Conversion of Units of Measurement 1995
Gordon S. Novak Jr.
Creation of Views for Reuse of Software with Different Data Representations 1995
Gordon S. Novak Jr.
Diagrams for Solving Physical Problems 1995
Gordon Novak
Composing Reusable Software Components through Views 1994
Gordon S. Novak Jr.
Generating Programs from Connections of Physical Models 1994
Gordon S. Novak Jr.
Diagrams and Text as Computer Input 1993
Gordon Novak and William Bulko
Artificial Intelligence 1992
Gordon Novak
Negotiated Interfaces for Software Reuse 1992
Gordon S. Novak Jr., Fredrick N. Hill, Man Lee Wan, and Brian G. Sayrs
Software Reuse through View Type Clusters 1992
Gordon S. Novak Jr.
Representation of Models for Expert Problem Solving in Physics 1991
Hyung Joon Kook and Gordon Novak
Understanding Natural Language with Diagrams 1990
Gordon Novak and William Bulko
Data Abstraction in GLISP 1983
Gordon Novak
GLISP: A Lisp-based Language with Data Abstraction 1983
Gordon Novak
GLISP: A Lisp-based Programming System with Data Abstraction 1983
Gordon S. Novak Jr.
Knowledge Based Programming Using Abstract Data Types 1983
Gordon Novak
GLISP: A High-Level Language for A.I. Programming 1982
Novak, Gordon
GLISP: An Efficient, English-like Programming Language 1981
Novak, Gordon
Research on Expert Problem Solving in Physics 1980
Gordon Novak and Agustin Araya
Representations of Knowledge in a Program for Solving Physics Problems 1977
Novak, Gordon
Computer Understanding of Physics Problems Stated in Natural Language 1976
Gordon Novak
Projects
Automatic Programming Server
Programming and Problem Solving by Connecting Diagrams
Graphical Programming Server
Areas of Interest
Automatic Programming Physics Problem Solving