Programming Denotational Semantics II

DOI10.1093/COMJNL/28.5.480zbMATH Open0571.68005OpenAlexW4255878582MaRDI QIDQ3687684FDOQ3687684

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

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

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantics of multiway dataflow constraint systems
• Title not available (Why is that?)
• Inserting injection operations to denotational specifications
• Denotational semantics of a para-functional programming language

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)