Thumbnail
Access Restriction
Subscribed

Author Deutsch, L. Peter
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Computer programming, programs & data
Abstract Most programming systems reflect a model of computation which sharply distinguishes between “passive” data objects and “active” program objects (procedures). Furthermore, procedures describe not only a set of computations but the precise flow of control between them. In contrast, a group at MIT is investigating a new paradigm called constraints in which a single kind of object models both data and procedures, and in which the description of procedures minimizes commitment to the order in which computational steps will be executed. A (primitive) constraint is an object with some parts, which correspond to fields of a data structure or input/output parameters of a procedure, and a body which describes how to compute the values of some parts from other parts. The body consists of rules written in an implementation language (Lisp in the MIT systems). Constraints with no body behave like ordinary data structures; constraints with substantial bodies behave more like procedures. However, unlike procedures, which always compute the same set of outputs from the same set of inputs, a constraint may compute in different directions depending on the available data.
Description Affiliation: Xerox PARC / MIT Artificial Intelligence Laboratory (Deutsch, L. Peter)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1999-06-01
Publisher Place New York
Journal ACM SIGMOD Record (SGMD)
Volume Number 11
Issue Number 2
Page Count 3
Starting Page 118
Ending Page 120


Open content in new tab

   Open content in new tab
Source: ACM Digital Library