|
Saturday, 25 April 2009 17:25 |
- Compiling Abstract State Machines to C++ [2001]
J. Schmid. Compiling Abstract State Machines to C++. Abstract State Machines 2001: Developments and Applications. Journal of Universal Computer Science, volume 7, number 11, 2001.
[ Postscript | PDF | BibTeX ] - Compiling Abstract State Machines to C++ (Extended Abstract) [2001]
J. Schmid. Compiling Abstract State Machines to C++ (extended abstract). Formal Methods and Tools for Computer Science, Eurocast 2001. Universidad de Las Palmas de Gran Canaria.
[ Postscript | PDF | BibTeX ] - Java bytecode verification is not possible (Extended Abstract) [2001]
R. Stärk, J. Schmid. Java bytecode verification is not possible (extended abstract). Formal Methods and Tools for Computer Science, Eurocast 2001. Universidad de Las Palmas de Gran Canaria.
[ Postscript | PDF | BibTeX ] - Java and the Java Virtual Machine [2001] (book)
R. Stärk, J. Schmid, E. Börger. Java and the Java Virtual Machine. Definition, Validation, Verification. Springer-Verlag, 2001.
[ Jbook Home | BibTeX ] - Introduction to AsmGofer [2001]
J. Schmid. Introduction to AsmGofer.
[ PDF | BibTeX ] - The problem of Bytecode Verification in Current Implementations of the JVM [2000]
R. Stärk, J. Schmid. The problem of Bytecode Verification in Current Implementations of the JVM. Technical Report, ETH Zürich, 2000.
[ Postscript | PDF | BibTeX ] - Composition and Submachine Concepts for Sequential ASMs [2000]
E. Börger, J. Schmid. Composition and Submachine Concepts. In P. G. Clote and H. Schwichtenberg, editors. Computer Science Logics (CSL 2000). Lecture Notes in Computer Science, number 1862, pages 41-60. Springer-Verlag, 2000.
[ Postscript | PDF | BibTeX ] - Report on a Practical Application of ASMs in Software Design [2000]
E. Börger, P. Päppinghaus, J. Schmid. Report on a Practical Application of ASMs in Software Design. In Y. Gurevich, M. Odersky, and L. Thiele, editors. Abstract State Machines, ASM 2000. Lecture Notes in Computer Science, number 1912, pages 361-366. Springer-Verlag, 2000.
[ Postscript | PDF | BibTex ] - Capturing Requirements by Abstract State Machines: The Light Control Case Study [2000]
E. Börger, E. Riccobene, J. Schmid. Capturing Requirements by Abstract State Machines. Special Issue on Requirements Engineering - The Light Control Case Study. Journal of Universal Computer Sciene, volume 6, number 7, 2000.
[ Postscript | PDF | BibTeX ]
|
|
Last Updated on Saturday, 25 April 2009 17:37 |
