10 pages matching conditioned function in this book
Results 1-3 of 10
What people are saying - Write a review
We haven't found any reviews in the usual places.
Approaches to Language Design and Definition
A view of program genisis and its implications
8 other sections not shown
&init &next abstract data types Abstraction and Verification actual parameter ALGOL 68 algorithms alternatives application argument array assertions assignment base language beginform body boolean bounds cluster compiler Computer concept conditioned function construction context data structures declarer defined definition denote dimensional analysis domains elements endform error example execution expression extend formal given grammar identifier implementation initial input insert integer introduced intset invariant iteration levels of abstraction loop looppart meaning mode module nonterminals notation notion objects optimization parsing particular possible pouch predicate primitive priority problem procedure production rule program synthesis programming language proof properties recursive relations representation Representation validity s.sp selection semantics seq int sequence simpleset specifications stack statement static struct structured programming syntactic sugar syntax technique term terminal symbol tion type-generator unary relations unionf valid variable vector Verification in Alphard void write