Programming Denotational Semantics II

DOI10.1093/COMJNL/28.5.480MaRDI QIDQ3687684zbMATH OpenOpenAlexFDO

Authors Lloyd Allison

Publication date 1985

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/28.5.480

zbMATH Keywords

programming languageinterpreterAlgol-68Denotational Semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Denotational semantics of a para-functional programming language
• scientific article; zbMATH DE number 555217
• scientific article; zbMATH DE number 4047058
• scientific article; zbMATH DE number 408794
• Denotational semantics for a program logic of objects
• scientific article; zbMATH DE number 439891
• Denotational semantics of an object-oriented programming language with explicit wrappers
• An algebraic approach to semantics of programming languages
• Denotational semantics of object specification
• scientific article; zbMATH DE number 4037166

Cited in

(6)

• scientific article; zbMATH DE number 1479618 (Why is no real title available?)
• scientific article; zbMATH DE number 2012402 (Why is no real title available?)
• Semantics of multiway dataflow constraint systems
• scientific article; zbMATH DE number 3890703 (Why is no real title available?)
• Inserting injection operations to denotational specifications
• Denotational semantics of a para-functional programming language

Describes a project that uses

Uses Software

• ALGOL 68

This page was built for publication: Programming Denotational Semantics II

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