Issue 5

Submission Procedure

Submission Procedure

Board of Editors

Articles by Topics

Articles by Author

Geographical Mashup

Printed Publications

Volume 18 (2012)

Volume 17 (2011)

Volume 16 (2010)

Volume 15 (2009)

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Collection of other papers

Content of Issue 5 DOI: 10.3217/jucs-003-05
J.UCS Special ASM Issue. Part II.	E. Börger	414
Montages Specifications of Realistic Programming Languages	P. W. Kutter, A. Pierantonio	416
The Formal Specification of Oberon	P. W. Kutter, A. Pierantonio	443
On the Construction of Correct Compiler Back-Ends: An ASM-Approach	W. Zimmermann, T. Gaul	504
Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines	L. Araujo	568
Integrating ASMs into the Software Development Life Cycle	E. Börger, L. Mearelli	603
Refining an ASM Specification of the Production Cell to C++ Code	L. Mearelli	666
Model Checking for Abstract State Machines	K. Winter	689