TY - BOOK
T1 - On the Operational Structure of Algebraic Programming Systems
AU - Asveld, P.R.J.
AU - Tucker, J.V.
PY - 1980
Y1 - 1980
N2 - An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and non-deterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an algebraic data type, one which is designed to classify programming systems in terms of the complexity of their implementations. Secondly, we test our operational description by comparing the computations in deterministic and non-deterministic programming systems under certain space and time restrictions.
AB - An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and non-deterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an algebraic data type, one which is designed to classify programming systems in terms of the complexity of their implementations. Secondly, we test our operational description by comparing the computations in deterministic and non-deterministic programming systems under certain space and time restrictions.
KW - HMI-SLT: Speech and Language Technology
KW - Complexity of algebraic computations
KW - Operational semantics
KW - Implementations of data types
KW - Complexity of implementations
KW - Algebraic data types
M3 - Report
T3 - CWI report
BT - On the Operational Structure of Algebraic Programming Systems
PB - Stichting Mathematisch Centrum
CY - Amsterdam
ER -