scientific article; zbMATH DE number 517039

MaRDI QIDQ4282567zbMATH OpenFDO

Authors Robert D. Tennent

Publication date 17 March 1994

zbMATH Keywords

Algol-like languagesdenotational-semanticspecification logicstorage support

Mathematics Subject Classification ID

Logic in computer science (03B70) Functor categories, comma categories (18A25) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cited in

(9)

• Topology, domain theory and theoretical computer science
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• Information categories
• Bounded quantifications for iteration and concurrency in logic programming
• Algebraic domains of natural transformations
• Structuring operational semantics: simplification and computation
• Regular languages with variables on graphs
• Approximation fixpoint theory and the well-founded semantics of higher-order logic programs
• Computational representation of practical argument

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 Q4282567)