New Directions in Algorithmic LanguagesInstitut de recherche d'informatique et d'automatique., 1976 - Algorithms |
Contents
Extending the Notion of Data Type | 1 |
Extended type checking | 27 |
Data structure as a framework for the formalisation of | 43 |
4 other sections not shown
Other editions - View all
Common terms and phrases
abstract ALGOL 68 algorithm allow applied array assertion assignment associated axioms cell checking compiler complete computations concrete CONS consider consists construct contains correctness corresponding data structure data types defined definition denoted derived described efficient elem elements EMPTY equation eventual example execution existing expression extend fact figure final finite formal function give given grammar hand HASH-CONS hypernotion identical implementation initial instance interpretation invariant machine means metanotion method mode modification module mvalues notation Note objects obtained occurs operations parallel parameters poss possible present primitive problem proc procedure production programming language proof properties prove recursion representation represented result ROWS rule satisfy SEARCH semantics Simula specification symbols Theorem transformation tree V-function variable write