The abstract state machines method for modular design and analysis of programming languages

DOI10.1093/LOGCOM/EXU077zbMath1361.68025OpenAlexW2089214613MaRDI QIDQ2987059

Egon Börger

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4524fe787679edaa0a58a44b4d0247d552d5fdbc

zbMATH Keywords

programming languagesabstract state machinescompiler correctnessASM refinementsground models

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (2)

Language and communication problems in formalization: a natural language approach ⋮ A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines

Uses Software

• PVM

This page was built for publication: The abstract state machines method for modular design and analysis of programming languages