scientific article; zbMATH DE number 1956524
From MaRDI portal
Publication:4417870
zbMath1029.68042MaRDI QIDQ4417870
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200358.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Type-specialized staged programming with process separation ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ An abstract monadic semantics for value recursion ⋮ Constructive linear-time temporal logic: proof systems and Kripke semantics ⋮ Structuring Operational Semantics: Simplification and Computation