Artificial Intelligence and Programming Languages

Keyphrases

Publications

1977

David H. D. Warren, Luis M. Pereira, Fernando Pereira
Prolog - the language and its implementation compared with Lisp. Artificial Intelligence and Programming Languages (1977)
Zohar Manna, Richard Waldinger
The automatic synthesis of recursive programs. Artificial Intelligence and Programming Languages (1977)
Patrick Cousot, Radhia Cousot
Automatic synthesis of optimal invariant assertions: Mathematical foundations. Artificial Intelligence and Programming Languages (1977)
Lawrence Yelowitz, Arthur G. Duncan
Abstractions, instantiations, and proofs of marking algorithms. Artificial Intelligence and Programming Languages (1977)
Stanley J. Rosenschein, Shmuel Katz
Selection of representations for data structures. Artificial Intelligence and Programming Languages (1977)
Elaine Kant
The selection of efficient implementations for a high-level language. Artificial Intelligence and Programming Languages (1977)
Hanan Samet
A normal form for compiler testing. Artificial Intelligence and Programming Languages (1977)
Guy L. Steele Jr.
Macaroni is better than spaghetti. Artificial Intelligence and Programming Languages (1977)
Philippe Chatelin
Self-redefinition as a program manipulation strategy. Artificial Intelligence and Programming Languages (1977)
John Wade Ulrich, Robert Moll
Program synthesis by analogy. Artificial Intelligence and Programming Languages (1977)
David S. Wile, Robert Balzer, Neil M. Goldman
Automated derivation of program control structure from natural language program descriptions. Artificial Intelligence and Programming Languages (1977)
Dennis F. Kibler, James M. Neighbors, Thomas A. Standish
Program manipulation via an efficient production system. Artificial Intelligence and Programming Languages (1977)
Randall Davis
Generalized procedure calling and content-directed invocation. Artificial Intelligence and Programming Languages (1977)
Henry G. Baker, Carl Hewitt
The incremental garbage collection of processes. Artificial Intelligence and Programming Languages (1977)
Jerry R. Hobbs
What the nature of natural language tells us about how to make natural-language-like programming languages more natural. Artificial Intelligence and Programming Languages (1977)
Johan de Kleer, Jon Doyle, Guy L. Steele Jr., Gerald Jay Sussman
AMORD explicit control of reasoning. Artificial Intelligence and Programming Languages (1977)
H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs
CSSA: Language concepts and programming methodology. Artificial Intelligence and Programming Languages (1977)
Brian P. McCune
The PSI Program Model Builder - synthesis of very high-level programs. Artificial Intelligence and Programming Languages (1977)
Ralph E. Griswold, David R. Hanson
Language facilities for programmable backtracking. Artificial Intelligence and Programming Languages (1977)
Larry Travis, Masahiro Honda, Richard LeBlanc, Stephen Zeigler
Design rationale for TELOS, a PASCAL-based AI language. Artificial Intelligence and Programming Languages (1977)
Michael D. Rychener
Control requirements for the design of production system architectures. Artificial Intelligence and Programming Languages (1977)
Christopher W. Fraser
A knowledge-based code generator generator. Artificial Intelligence and Programming Languages (1977)
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, USA, August 15-17, 1977 Artificial Intelligence and Programming Languages (1977)