Name
Abstract | ||
|---|---|---|
State Machines [4] formalism for modeling mpC expressions semantics.The formal specification is implemented using the ASM-based Montages frame-work [6] - a new method for giving the semantics of a programming language. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1007/3-540-36498-6_29 | Abstract State Machines |
Keywords | Field | DocType |
asm specification,compiler testing,formal specification,programming language,state machine | Test suite,Programming language,Functional compiler,Programming language specification,Dynamic compilation,Computer science,Compiler correctness,Compiler,Compiler construction,First-generation programming language | Conference |
Volume | ISSN | ISBN |
2589 | 0302-9743 | 3-540-00624-9 |
Citations | PageRank | References |
8 | 0.54 | 2 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexey Kalinov | 1 | 171 | 19.52 |
| Alexandre Kossatchev | 2 | 8 | 0.54 |
| Alexander Petrenko | 3 | 27 | 2.35 |
| Mikhail Posypkin | 4 | 64 | 8.49 |
| Vladimir Shishkov | 5 | 8 | 0.54 |