Complexity theory and the operational structure of algebraic programming systems
Copyright policy )Complexity theory and the operational structure of algebraic programming systems
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.
- University of Twente Netherlands
polynomial time bounded computation, Data structures, Specification and verification (program logics, model checking, etc.), nondeterministic polynomial space bounded computations, Analysis of algorithms and problem complexity, deterministic polynomial space bounded computations, General topics in the theory of software, polynomial space enumerable data types, algebraic data type, classification of programming systems, speed of growth of a data type, operational semantics, term algebra, HMI-SLT: Speech and Language Technology, deterministic and nondeterministic control constructs and assignments, space and time resources, growth function, polynomial time implementable data types
polynomial time bounded computation, Data structures, Specification and verification (program logics, model checking, etc.), nondeterministic polynomial space bounded computations, Analysis of algorithms and problem complexity, deterministic polynomial space bounded computations, General topics in the theory of software, polynomial space enumerable data types, algebraic data type, classification of programming systems, speed of growth of a data type, operational semantics, term algebra, HMI-SLT: Speech and Language Technology, deterministic and nondeterministic control constructs and assignments, space and time resources, growth function, polynomial time implementable data types
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).6 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!