The abstract state machines method for modular design and analysis of programming languages (Q2987059)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The abstract state machines method for modular design and analysis of programming languages |
scientific article |
Statements
The abstract state machines method for modular design and analysis of programming languages (English)
0 references
17 May 2017
0 references
abstract state machines
0 references
ground models
0 references
ASM refinements
0 references
programming languages
0 references
compiler correctness
0 references
