NDLI: Constructing Programs from Example Computations

Please wait, while we are loading the content...

Guest Editorial A Case for Software Testin gOr Why Everything We Seem to Learn About Software Development Still Suggests the Need for Testing Or What to Do Until We Achieve Perfection

Observations of Fallibility in Applications of Modern Programming Methodologies

Reliability of the Path Analysis Testing Strategy

A System to Generate Test Data and Symbolically Execute Programs

Automatic Generation of Floating-Point Test Data

On Two Problems in the Generation of Program Test Paths

Erratum and Corrigendum for Structured Programming With and Without GO TO Statements

Advance Program

if your computer engineering library doesn't subscribe to all 3 it's not complete.

IEEE Computer Society Publications

Call for Papers

Issue 2

Issue 1

Year : 1975 Volume : SE-1

Constructing Programs from Example Computations

Content Provider	IEEE Xplore Digital Library
Author	Biermann, A.W. Krishnaswamy, R.
Copyright Year	1976
Abstract	An autoprogrammer is an interactive computer programming system which automatically constructs computer programs from example computations executed by the user. The example calculations are done in a scratch pad fashion at a computer display using a light pen or other graphic input device, and the system stores a detailed history of all of the steps executed in the process. Then the system automatically synthesizes the shortest possible program which is capable of executing the observed examples. The paper describes the computational environment provided by the system, proves that the program synthesis technique is both "sound" and "complete," describes the design of the system, and gives some programs it was used to create.
Sponsorship	IEEE Computer Society Technical Council on Software Engineering Association for Computing Machinery (ACM) IEEE Computer Society
Starting Page	141
Ending Page	153
Page Count	13
File Size	3886510
File Format	PDF
ISSN	00985589
Volume Number	SE-2
Issue Number	3
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1976-09-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computer graphics Data structures Computer science Programming Computer displays History Concrete Data visualization Eyes Synthesizers programming system Automatic program synthesis autoprogramming induction techniques interactive graphics system interactive program construction program inference
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Climbing Longs Peak: The Steep Road to the Future of OpenGL

The Word Tree, an Interactive Visual Concordance

Using Visualization to Debug Visualization Software

Interactive Public Displays

A Picture-Building System

The Third Wave in Computer Graphics and Interactive Techniques

Interactive Computer Graphics

Constructing Parsers by Example via Interactive Program Synthesis

Experience with Modular Concurrent Programming

Constructing Programs from Example Computations

Similar Documents

Climbing Longs Peak: The Steep Road to the Future of OpenGL

The Word Tree, an Interactive Visual Concordance

Using Visualization to Debug Visualization Software

Interactive Public Displays

A Picture-Building System

The Third Wave in Computer Graphics and Interactive Techniques

Interactive Computer Graphics

Constructing Parsers by Example via Interactive Program Synthesis

Experience with Modular Concurrent Programming

Constructing Programs from Example Computations