%A Patrick Cousot
%A Radhia Cousot
%T Automatic synthesis of optimal invariant assertions:
mathematical foundations
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 1-12

%A Lawrence Yelowitz
%A Arthur G. Duncan
%T Abstractions, instantiations, and proofs of marking algorithms
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 13-21

%A John Wade Ulrich
%T Program synthesis by analogy
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 22-28

%A Zohar Manna
%A Richard Waldinger
%T The automatic synthesis of recursive programs
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 29-36

%A Michael D. Rychener
%T Control requirements for the design of procedure system architectures
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 37-44

%A Randall Davis
%T Generalized procedure calling and context-directed invocation
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 45-54

%A Henry G. Baker,\ Jr.
%A Carl Hewitt
%T The incremental garbage collection of processes
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 55-59

%A Guy Lewis Steele,\ Jr.
%T Macaroni is better than spaghetti
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 60-66

%A Larry Travis
%A Masahiro Honda
%A Richard LeBlanc
%A Stephen Zeigler
%T Design rationale for TELOS, a Pascal-based AI language
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 67-76

%A David Wile
%A Robert Balzer
%A Neil Goodman
%T Automated derivation of program control structure
from natural language program descriptions
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 77-84

%A Jerry R. Hobbs
%T What the nature of natural language tells us
about how to make natural-language-like programming more natural
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 85-93

%A Ralph E. Griswold
%T Language facilities for programmable backtracking
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 94-99

%A H.P. Bohm
%A H.L. Fischer
%A P. Raulefs
%T CSSA: language concepts and programming methodology
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 100-108

%A David H.D. Warren
%A Luis M. Pereira
%T Prolog: the language and its implementation compared with Lisp
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 109-115

%A Johan de\ Kleer
%A Jon Doyle
%A Guy Lewis Steele,\ Jr.
%A Gerald Jay Sussman
%T AMORD: explicit control of reasoning
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 116-125

%A Christopher W. Fraser
%T A knowledge-based code generator generator
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 126-129

%A Brian P. McCune
%T The PSI program model buiilder: synthesis of very high-level programs
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 130-139

%A Elaine Kant
%T The selection of efficient implementations for a high-level language
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 140-146

%A Stanley J. Rosenschein
%A Shmuel M. Katz
%T Selection of representations for data structures
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 147-154

%A Hanan Samet
%T A normal form of compiler testing
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 155-162

%A D.F. Kibler
%A J.M. Neighbors
%A T.A. Standish
%T Program manipulation via an efficient production system
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 163-173

%A Philippe Chatelin
%T Self-redefinition as a program manipulation strategy
%J Proceedings of the Symposium
on Artificial Intelligence and Programming Languages
%C University of Rochester
%D August 1977
%O published as SIGPLAN Notices 12:8 and as SIGART Newsletter 64
%K aipl
%P 174-179