An experimental program transformation and synthesis system

Artificial Intelligence 16 (1):1-46 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(81)90014-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On program synthesis knowledge.Cordell Green & David Barstow - 1978 - Artificial Intelligence 10 (3):241-279.
Knowledge and reasoning in program synthesis.Zohar Manna & Richard Waldinger - 1975 - Artificial Intelligence 6 (2):175-208.
Schema induction for logic program synthesis.Nancy Lynn Tinkham - 1998 - Artificial Intelligence 98 (1-2):1-47.
Syntax-directed, semantics-supported program synthesis.Wolfgang Bibel - 1980 - Artificial Intelligence 14 (3):243-261.
Iterative genetic improvement: Scaling stochastic program synthesis.Yuan Yuan & Wolfgang Banzhaf - 2023 - Artificial Intelligence 322 (C):103962.
Inductive functional programming using incremental program transformation.Roland Olsson - 1995 - Artificial Intelligence 74 (1):55-81.
Searle's AI program.Kevin B. Korb - 1991 - Journal of Experimental and Theoretical Artificial Intelligence 3:283-96.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991.Timothy P. Clement & Kung-Kiu Lau - 1992 - Springer.
Artificial Intelligence and Human Cognition: A Theoretical Intercomparison of Two Realms of Intellect.Morton Wagman - 1991 - New York: Praeger.
SYM-1, a program that detects symmetry of variable-valued logic functions.Gerald M. Jensen - 1975 - Urbana: Dept of Computer Science, University of Illinois at Urbana-Champaign.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,613,850)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Acquiring search-control knowledge via static analysis.Oren Etzioni - 1993 - Artificial Intelligence 62 (2):255-301.
Synthetic programming.Nachum Dershowitz - 1985 - Artificial Intelligence 25 (3):323-373.

Add more citations

References found in this work

Knowledge and reasoning in program synthesis.Zohar Manna & Richard Waldinger - 1975 - Artificial Intelligence 6 (2):175-208.

Add more references