Java and the Java Virtual Machine - Definition, Verification, Validation (2001)

Cached

Download Links

by Robert Stärk , Joachim Schmid , Egon Börger
Citations:97 - 12 self

Documents Related by Co-Citation

405 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995
213 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
73 The WAM---Definition and Compiler Correctness – Egon Borger - 1995
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
58 Abstract state machines capture parallel algorithms – Andreas Blass, Yuri Gurevich - 2003
27 Composition and Submachine Concepts for Sequential ASMs – Egon Börger, Joachim Schmid - 2000
157 The B-Book – J-R Abrial - 1996
45 Correctness of compiling Occam to Transputer code – Egon Börger, Igor Durdanovic
35 The Origins and the Development of the ASM Method for High Level System Design and Analysis – Egon Börger
35 Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines – E Börger, U Glässer, W Müller - 1995
115 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich
37 Why use evolving algebras for hardware and software engineering? – Egon Börger - 1995
12 High-level executable specification of the universal plug and play architecture – U Glässer, Y Gurevich, M Veanes - 2002
27 On the Construction of Correct Compiler Back-Ends: An ASM Approach – Wolf Zimmermann, Thilo Gaul - 1997
9 Remarks on turbo asms for computing functional equations and recursion schemes – E Börger, T Bolognesi - 2003
16 Formal Specification and Design – L M G Feijs, H B M Jonkers - 1992
50 High level system design and analysis using abstract state machines – Egon Börger - 1999
4 The Abstract State Machine Language. cited Oct 2004, http://research.microsoft.com/fse/asml – Microsoft FSE Group
18 R.F.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3 – E Börger, N Fruja, V Gervasi, Stärk - 2005