Programming Denotational Semantics

DOI10.1093/COMJNL/26.2.164MaRDI QIDQ3666244zbMATH OpenOpenAlexFDO

Authors Lloyd Allison

Publication date 1983

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

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

zbMATH Keywords

interpreterPascal

Mathematics Subject Classification ID

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

This page was built for publication: Programming Denotational Semantics

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