| 
|
QuoteRef: deutLP1_1981
topics >
all references >
ThesaHelp:
references c-d
Topic:
primitive functions
Topic:
logic programming
Topic:
conditional control by guards
Group:
parameters
Group:
data type
Topic:
abstraction in programming language
Topic:
handling complexity
Topic:
function definition
Reference
Deutsch, L.P., "Constraints: a uniform model for data and control ", SIGPLAN , 16, 1, pp. 118-120 , January 1981 . Google
Other Reference
SIGART 74, SIGMOD 11.2
118 ;;Quote: data and procedure by primitive constraints: an object with parts for data fields/parameters and a body of rules in an implementation language
118 ;;Quote: example of addition constraint showing how given any two parts can compute the third part
118 ;;Quote: in a constraint, if insufficient information to run a rule then ignore; if inconsistent information, then fail
118 ;;Quote: build complex constraints from simple ones by abstraction: recursive embedding, parameterization, and type declaration
ThesaHelp: references c-d (337 items)
Topic: primitive functions (34 items)
Topic: logic programming (34 items)
Topic: conditional control by guards (17 items)
Group: parameters (10 topics, 145 quotes)
Group: data type (34 topics, 723 quotes)
Topic: abstraction in programming language (47 items)
Topic: handling complexity (59 items)
Topic: function definition (25 items)