Sciweavers

ASM
2005
ASM

Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking

14 years 3 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, including control flow operators, object creation and field manipulation. Then the decidability result is established for checking invariants of programs corresponding to that class of ASMs.
Andrey Novikov, Rostislav Yavorskiy
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ASM
Authors Andrey Novikov, Rostislav Yavorskiy
Comments (0)