- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Syntax-directed, semantics-supported program synthesis
Artificial Intelligence 14 (3):243-261 (1980)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
A critique of the minimalist program.David Johnson & Shalom Lappin - 1997 - Linguistics and Philosophy 20 (3):273-333.
Davidson's program and interpreted logical forms.Lenny Clapp - 2002 - Linguistics and Philosophy 25 (3):261-297.
Syntax, semantics, physics.John Haugeland - 2002 - In John Mark Bishop & John Preston (eds.), Views Into the Chinese Room: New Essays on Searle and Artificial Intelligence. London: Oxford University Press.
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.
An experimental program transformation and synthesis system.John Darlington - 1981 - Artificial Intelligence 16 (1):1-46.
On the semantics of comparative conditionals.Sigrid Beck - 1997 - Linguistics and Philosophy 20 (3):229-271.
Schema induction for logic program synthesis.Nancy Lynn Tinkham - 1998 - Artificial Intelligence 98 (1-2):1-47.
The semantics and pragmatics of topic phrases.Paul Portner & Katsuhiko Yabushita - 1998 - Linguistics and Philosophy 21 (2):117-157.
Analytics
Added to PP
2020-12-22
Downloads
10 (#1,481,570)
6 months
7 (#749,523)
2020-12-22
Downloads
10 (#1,481,570)
6 months
7 (#749,523)
Historical graph of downloads
Citations of this work
Top-down synthesis of divide-and-conquer algorithms.Douglas R. Smith - 1985 - Artificial Intelligence 27 (1):43-96.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-f5f4x uwo