scientific article; zbMATH DE number 1231580

MaRDI QIDQ4222899zbMATH OpenFDO

Authors John Power

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#power

zbMATH Keywords

denotational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(11)

• Modular design of domain-specific languages using splittings of catamorphisms
• Combining effects: sum and tensor
• Modular development of interpreters from semantic building blocks
• Formal Properties of Modularisation
• scientific article; zbMATH DE number 1223717 (Why is no real title available?)
• scientific article; zbMATH DE number 1330454 (Why is no real title available?)
• scientific article; zbMATH DE number 2086588 (Why is no real title available?)
• Modular non-deterministic semantics for T, TB, S4, S5 and more
• Modules over monads and their algebras
• Algebraic Methodology and Software Technology
• Proof Abstraction for Imperative Languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222899)