The Smyth completion: a common foundation for denotational semantics and complexity analysis.

Michel P. Schellekens

Published in: MFPS (1995)

Keyphrases

complexity analysis
denotational semantics
programming language
theoretical analysis
operational semantics
query language
lower bound
computational complexity
first order logic
abstract data types
software engineering
objective function
data analysis
data model
general purpose
multi dimensional