We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
The abstract state machines method for mular design and analysis of pogramming languages.
- Authors
BÖRGER, EGON
- Abstract
We survey the use of Abstract State Machines in the area of programming languages, namely to define behavioural properties of programs at source, intermediate and machine levels in a way that is amenable to mathematical and experimental analysis by practitioners, like correctness and completeness of compilers, etc. We illustrate how theorems about such properties can be integrated into a modular development of programming languages and programs, using as example a Java/JVM compilation correctness theorem about defining, interpreting, compiling and executing Java/JVM code. We show how programming features (read: programming constructs) modularize not only the source programs, but also the program property statements and their proofs.
- Subjects
COMPUTER simulation; FINITE state machines; ABSTRACT state machines (Computer science); PROGRAMMING languages; ARTIFICIAL languages; ELECTRONIC data processing
- Publication
Journal of Logic & Computation, 2017, Vol 27, Issue 2, p417
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/exu077