skip to content
A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies Preview this item
ClosePreview this item
Checking...

A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies

Author: Guy L Steele; Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
Publisher: Cambridge, Mass. : Artificial Intelligence Laboratory, Massachusetts Institute of Technology, ©1980.
Series: MIT/AI/TR-, 595.
Edition/Format:   Book : English
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Guy L Steele; Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
OCLC Number: 13072621
Notes: "Thesis supervisor, Gerald Jay Sussman"--P. 3.
"August 1980."
Originally presented as the author's thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980.
Description: 372 p. : ill. ; 28 cm.
Series Title: MIT/AI/TR-, 595.
Other Titles: Definition and implementation of a computer programming language based on constraints
Definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints
Computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints
Computer programming language based on constraints
Responsibility: by Guy Lewis Steele, Jr.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/13072621>
library:oclcnum"13072621"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/13072621>
rdf:typeschema:Book
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/875873>
rdf:typeschema:Intangible
schema:name"Constraint programming (Computer science)"@en
schema:about
schema:about
<http://id.worldcat.org/fast/1078704>
rdf:typeschema:Intangible
schema:name"Programming languages (Electronic computers)"@en
schema:about
schema:about
<http://id.worldcat.org/fast/872701>
rdf:typeschema:Intangible
schema:name"Computer-aided design"@en
schema:name"Computer-aided design."@en
schema:about
schema:about
schema:contributor
<http://viaf.org/viaf/141940489>
rdf:typeschema:Organization
schema:name"Massachusetts Institute of Technology. Artificial Intelligence Laboratory."
schema:copyrightYear"1980"
schema:creator
schema:exampleOfWork<http://worldcat.org/entity/work/id/5604772>
schema:inLanguage"en"
schema:name"Definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints"@en
schema:name"Computer programming language based on constraints"@en
schema:name"Definition and implementation of a computer programming language based on constraints"@en
schema:name"A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies"@en
schema:name"Computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints"@en
schema:numberOfPages"372"
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.