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 Faculty novak [at] cs utexas edu
Publications
     [Expand to show all 25][Minimize]
Generation of Geometric Programs Specified by Diagrams 2011
Yulin Li, Gordon Novak, Proc. Generative Programming and Component Engineering 2011 (GPCE-11) (2011), pp. 63-72.
Generation of geometric programs specified by diagrams 2011
Yulin Li and Gordon S. Novak, Jr., In Proceedings of the 10th ACM international conference on Generative programming and component engineering, pp. 63-72, New York, NY, USA 2011. ACM.
Computer aided software design via inference and constraint propagation 2009
Gordon Novak, Integrated Computer-Aided Engineering, Vol. 16, 3 (2009), pp. 181-191.
Coupling Data Understanding with Software Reuse 2008
Gordon Novak, In IEEE International Conference on Information Reuse and Integration (IRI-2008), pp. 110-115, Las Vegas NV 2008.
Interactions of Abstractions in Programming 2000
Gordon S. Novak Jr., In Lecture Notes in Artificial Intelligence, Vol. 1864, pp. 185--201 2000. Springer-Verlag. ISBN 3-540-67839-5.
Software Reuse by Specialization of Generic Procedures through Views 1997
Gordon S. Novak Jr., IEEE Trans. on Software Engineering, Vol. 23, 7 (1997), pp. 1-17.
Conversion of Units of Measurement 1995
Gordon S. Novak Jr., IEEE Trans. on Software Engineering, Vol. 21, 8 (1995), pp. 651-661.
Creation of Views for Reuse of Software with Different Data Representations 1995
Gordon S. Novak Jr., IEEE Trans. on Software Engineering, Vol. 21, 12 (1995), pp. 993-1005.
Diagrams for Solving Physical Problems 1995
Gordon Novak, In Diagrammatic Reasoning: Cognitive and Computational Perspectives, Glasgow, Janice and Narayanan, N. Hari and Chandrasekaran, B. (Eds.), pp. 753-774, Boston, MA 1995. AAAI Press / MIT Press.
Composing Reusable Software Components through Views 1994
Gordon S. Novak Jr., In Proc. 9th Knowledge-Based Software Engineering Conference (KBSE-94), pp. 39-47, Monterey, CA, September 1994. IEEE Computer Society Press.
Generating Programs from Connections of Physical Models 1994
Gordon S. Novak Jr., In Proc. 10th Conference on Artificial Intelligence for Applications (CAIA-94), pp. 224-230, San Antonio, TX, March 1994.
Diagrams and Text as Computer Input 1993
Gordon Novak and William Bulko, Journal of Visual Languages and Computing, Vol. 4, 4 (1993), pp. 161-175.
Negotiated Interfaces for Software Reuse 1992
Gordon S. Novak Jr., Fredrick N. Hill, Man Lee Wan, and Brian G. Sayrs, IEEE Trans. on Software Engineering, Vol. 18, 7 (1992), pp. 646-653.
Software Reuse through View Type Clusters 1992
Gordon S. Novak Jr., In Proc. 7th Knowledge-Based Software Engineering Conference (KBSE-92), pp. 70-79, McLean, VA, September 1992. IEEE Computer Society Press.
Representation of Models for Expert Problem Solving in Physics 1991
Hyung Joon Kook and Gordon Novak, IEEE Trans. on Knowledge and Data Engineering, Vol. 3, 1 (1991), pp. 48-54.
Understanding Natural Language with Diagrams 1990
Gordon Novak and William Bulko, In Proc. National Conference on Artificial Intelligence (AAAI-90), pp. 465-470, Boston, MA, August 1990.
Data Abstraction in GLISP 1983
Gordon Novak, SIGPLAN Notices, Vol. 18, 6 (1983), pp. 170-177.
GLISP: A Lisp-based Language with Data Abstraction 1983
Gordon Novak, A. I. Magazine, Vol. 4, 3 (1983), pp. 37-47.
GLISP: A Lisp-based Programming System with Data Abstraction 1983
Gordon S. Novak Jr., The AI Magazine, Vol. 4, 3 (1983), pp. 37--47.
Knowledge Based Programming Using Abstract Data Types 1983
Gordon Novak, In Proc. National Conference on Artificial Intelligence (AAAI-83), pp. 288-291, Washington, DC, August 1983.
GLISP: A High-Level Language for A.I. Programming 1982
Gordon Novak, In Proc. National Conference on Artificial Intelligence (AAAI-82), pp. 238-241, Pittsburgh, PA, August 1982.
GLISP: An Efficient, English-like Programming Language 1981
Gordon Novak, In Proc. Third Annual Conference of the Cognitive Science Society, Berkeley, CA, August 1981.
Research on Expert Problem Solving in Physics 1980
Gordon Novak and Agustin Araya, In Proc. First Annual National Conference on Artificial Intelligence (AAAI-80), Stanford, CA, August 1980.
Representations of Knowledge in a Program for Solving Physics Problems 1977
Gordon Novak, In Proc. 5th International Joint Conference on Artificial Intelligence (IJCAI-77), pp. 286-291, Cambridge, MA, August 1977.
Computer Understanding of Physics Problems Stated in Natural Language 1976
Gordon Novak, American Journal of Computational Linguistics, 53 (1976).
Projects
Automatic Programming Server
Programming and Problem Solving by Connecting Diagrams
Graphical Programming Server
Areas of Interest
Automatic Programming Physics Problem Solving