New Directions in Algorithmic LanguagesInstitut de recherche d'informatique et d'automatique., 1975 - Algorithms |
Contents
Approaches to Language Design and Definition | 1 |
three issues | 19 |
A view of program genisis and its implications | 37 |
Copyright | |
18 other sections not shown
Other editions - View all
Common terms and phrases
&init &next abstract data types Abstraction and Verification actual parameter ALGOL 68 algorithms alternatives application array assignment base language boolean bound cluster compiler Computer concept Concrete operation conditioned function construction context data structures decl declarer defined definition denote dimensional analysis domains elements endform example execution expression extend fnc F form form formal given grammar holds Show identifiers implementation initial input insert integer intset invariant iteration ksub levels of abstraction loop Looppart meaning mode module nonterminals notation notion objects optimization parsing particular possible pouch predicate primitive problem proc procedure production rule program synthesis programming language proof properties recursive representation Representation validity s.sp semantics seq int sequence simpleset stack statement struct structured programming syntactic sugar syntax technique term terminal symbol tion unary relations unionf valid variable vector Verification in Alphard void write