Open Access
Programming by abstract demonstration.
Gael A. Curry
- 01 Jan 1978
22
About: The article was published on 01 Jan 1978. and is currently open access.
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
Software Descriptions with Flow Expressions
TL;DR: Applications of flow expressions are exhibited in the modeling of concurrent programs, the description of operating system architectures, the specification and solution of synchronization problems, the flow and description of command languages, and in systems analysis and verification.
129
Defining constraints graphically
Alan Borning
- 01 Apr 1986
TL;DR: The system described here allows the graphical definition of constraints, an interface in which a user can conveniently construct a new kind of object, annotating it with the relations that it must obey.
112
Editing by example
TL;DR: An editing by example system derived from an efficient heuristic that provably synthesizes a gap program from examples of its input/output behavior is embedded in a production text editor.
108
Editing by example
Robert Nix
- 15 Jan 1984
TL;DR: By developing an editing by example system that solves a useful class of text processing problems, this paper demonstrates that program synthesis is feasible in the domain of text editing.
82
A session with Tinker: Interleaving program testing with program design
Henry Lieberman,Carl Hewitt +1 more
- 25 Aug 1980
TL;DR: This paper presents a demonstration of the current implementation of Tinker, an experimental interactive programming system which integrates program testing with program design and constructs a procedure for the general case from sample calculations.
37
Related Papers (5)
Pierre Flener,Ute Schmid +1 more
- 01 Jan 2017
Takashi Hattori
- 01 Dec 1998
Tessa Lau,Daniel S. Weld,Pedro Domingos +2 more
- 01 Jan 2001