Programming Denotational Semantics II

DOI10.1093/COMJNL/28.5.480zbMath0571.68005OpenAlexW4255878582MaRDI QIDQ3687684

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

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

Related Items (1)

Semantics of multiway dataflow constraint systems

Uses Software

• ALGOL 68

This page was built for publication: Programming Denotational Semantics II