Synthetic programming

Artificial Intelligence 25 (3):323-373 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(85)90076-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings.Manuel Hermenegildo & Jaan Penjam - 1994 - Springer Verlag.
Programming Language Implementation and Logic Programming 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991 : Proceedings'.J. Malszy Nski & Martin Wirsing - 1991
Programming Language Implementation and Logic Programming International Workshop Plilp '90, Linköping, Sweden, August 20-22, 1990 : Proceedings'.Pierre Deransart - 1990 - Springer Verlag.
Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993 : Proceedings.Maurice Bruynooghe & Jaan Penjam - 1993 - Springer Verlag.
Theoretical Computer Science Selected Papers of the Symposium on Programming Language Implementation and Logic Programming , Passau, Germany, 26-28 August, 1991.J. Malszy Nski & Martin Wirsing - 1995 - Elsevier.
Programming or Problem Solving with Computers?Maciej M. Sysło - 2019 - Constructivist Foundations 14 (3):373-376.
Synthetic biology and genetic causation.Gry Oftedal & Veli-Pekka Parkkinen - 2013 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 44 (2):208-216.
Programming Languages Implementation and Logic Programming International Workshop Plilp '88, Orléans, France, May 16-18, 1988 : Proceedings'.Pierre Deransart, Bernard Lorho & J. Malszy Nski - 1989
Author’s Response: Programming as a Playground for Computational Thinking Development.Jiří Vaníček - 2019 - Constructivist Foundations 14 (3):379-381.
Programming with Constraints: An Introduction.Kim Marriott & Peter J. Stuckey - 1998 - MIT Press.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Synthetic Biology: Programming Cells for Biomedical Applications.Maximilian Hörner, Nadine Reischmann & Wilfried Weber - 2012 - Perspectives in Biology and Medicine 55 (4):490-502.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
Functional Programming and Erratic Non-determinism.Corin Steven Pitcher, Chih-hao Ong & Lincoln A. Wallen - 2001

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,686,544)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Reasoning about programs.R. J. Waldinger & K. N. Levitt - 1974 - Artificial Intelligence 5 (3):235-316.
Knowledge and reasoning in program synthesis.Zohar Manna & Richard Waldinger - 1975 - Artificial Intelligence 6 (2):175-208.
Completely non-clausal theorem proving.Neil V. Murray - 1982 - Artificial Intelligence 18 (1):67-85.

View all 8 references / Add more references