Open AccessBook
Knowledge-based program construction
David R. Barstow
- 01 Jan 1979
123
About: The article was published on 01 Jan 1979. and is currently open access. The article focuses on the topics: Open Knowledge Base Connectivity & Knowledge integration.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Grounding adaptive language games in robotic agents.
Luc Steels,Paul Vogt +1 more
- 01 Jan 1997
TL;DR: Trabajo presentado a la 4th European Conference on Artificial Life, celebrada en Cambridge, Massachusetts (US) presenta un trabajo de investigación impulsada en conjunto with el proceso de cambio oficial de la Reprogrammación de la Constitución Artificial.
445
KIDS: a semiautomatic program development system
TL;DR: The Kestrel Interactive Development System, which provides automated support for the development of correct and efficient programs from formal specifications, is described, and it is believed that KIDS could be developed to the point where it becomes economical to use for routine programming.
404
PECAN: Program Development Systems that Support Multiple Views
TL;DR: The PECAN family of program development systems is designed to make effective use of powerful personal machines with high-resolution graphics displays and is currently implemented on APOLLO workstations.
330
Pecan: Program development systems that support multiple views
Steven P. Reiss
- 26 Mar 1984
TL;DR: PECAN as mentioned in this paper is a family of program development systems that support multiple views of the user's program, including expression trees, data type diagrams, flow graphs, and symbol tables.
313