default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence and Programming Languages 1977: USA
- James Low:
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, USA, August 15-17, 1977. ACM 1977, ISBN 978-1-4503-7874-1 - Patrick Cousot, Radhia Cousot:
Automatic synthesis of optimal invariant assertions: Mathematical foundations. 1-12 - Lawrence Yelowitz, Arthur G. Duncan:
Abstractions, instantiations, and proofs of marking algorithms. 13-21 - John Wade Ulrich, Robert Moll:
Program synthesis by analogy. 22-28 - Zohar Manna, Richard Waldinger:
The automatic synthesis of recursive programs. 29-36 - Michael D. Rychener:
Control requirements for the design of production system architectures. 37-44 - Randall Davis:
Generalized procedure calling and content-directed invocation. 45-54 - Henry G. Baker, Carl Hewitt:
The incremental garbage collection of processes. 55-59 - Guy L. Steele Jr.:
Macaroni is better than spaghetti. 60-66 - Larry Travis, Masahiro Honda, Richard LeBlanc, Stephen F. Zeigler:
Design rationale for TELOS, a PASCAL-based AI language. 67-76 - David S. Wile, Robert Balzer, Neil M. Goldman:
Automated derivation of program control structure from natural language program descriptions. 77-84 - Jerry R. Hobbs:
What the nature of natural language tells us about how to make natural-language-like programming languages more natural. 85-93 - Ralph E. Griswold, David R. Hanson:
Language facilities for programmable backtracking. 94-99 - H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs:
CSSA: Language concepts and programming methodology. 100-108 - David H. D. Warren, Luis M. Pereira, Fernando Pereira:
Prolog - the language and its implementation compared with Lisp. 109-115 - Johan de Kleer
, Jon Doyle, Guy L. Steele Jr., Gerald Jay Sussman:
AMORD explicit control of reasoning. 116-125 - Christopher W. Fraser:
A knowledge-based code generator generator. 126-129 - Brian P. McCune:
The PSI Program Model Builder - synthesis of very high-level programs. 130-139 - Elaine Kant:
The selection of efficient implementations for a high-level language. 140-146 - Stanley J. Rosenschein, Shmuel Katz:
Selection of representations for data structures. 147-154 - Hanan Samet:
A normal form for compiler testing. 155-162 - Dennis F. Kibler, James M. Neighbors, Thomas A. Standish:
Program manipulation via an efficient production system. 163-173 - Philippe Chatelin:
Self-redefinition as a program manipulation strategy. 174-179
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
