scientific article

From MaRDI portal

Publication:2755063

Jump to:navigation, search

zbMath1007.68117MaRDI QIDQ2755063

Cliff B. Jones

Publication date: 7 January 2002

Full work available at URL: http://www.jucs.org/jucs_7_8/the_transition_from_VDL

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semantics formal methods denotational semantics language definition

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (3)

Building Specifications in the Event-B Institution ⋮ VDM semantics of programming languages: Combinators and monads ⋮ Operational semantics: concepts and their expression

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2755063&oldid=15631762"