Egon Börger, Wolfram Schulte  Home/Search
Context Related
| umich.edu/groups/gasm/javabosc.ps.gz umich.edu/groups/Ealge...javabosc.ps.gz umich.edu/.5/groups/Ea...javabosc.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umich.edu/groups/gasm/ (more) From: umich.edu/groups/Ealgebras/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We propose in this paper a definition of the semantics of Java programs which can be used as a basis for the standardization of the language and of its implementation on the Java Virtual Machine. The definition provides a machine and system independent view of the language as it is seen by the Java programmer. It takes care to directly reflect the description in the Java language reference manual so that the basic design decisions can be checked by standardizers and implementors against a... (Update)
Context of citations to this paper: More
...( big step ) semantics. Borger and Schulte have formalized (on paper) almost the full Java language as an Abstract State Machine [BS99] Jacobs el al. translate Java code directly into the PVS higher order logic (as a shallow embedding) in order to conduct program...
Cited by: More
μJava: Embedding a Programming Language in a Theorem.. - Nipkow, von Oheimb, Pusch (2000) (Correct)
Active bibliography (related documents): More All
0.8: Why Use Evolving Algebras for Hardware and Software Engineering? - Börger (1995) (Correct)
0.5: Modular Design for the Java Virtual Machine Architecture - Börger, Schulte (1999) (Correct)
0.5: Composition of Reactive System Components - Lano, Bicarregui, Maibaum.. (1997) (Correct)
Similar documents based on text: More All
0.3: Exploiting Abstraction for Specification Reuse. The Java/C#.. - Börger, Stärk (Correct)
0.2: Defining the Java Virtual Machine as Platform for Provably.. - Börger, Schulte (1998) (Correct)
0.2: Initialization Problems for Java - Börger, Schulte (1999) (Correct)
Related documents from co-citation: More All
2: The Theory of LEGO:A Proof Checker for the Extended Calculus of Constructions - Pollack - 1995
2: A modular coding of UNITY in COQ (context) - Heyd, Cr'egut - 1996
2: Reasoning with executable specifications - Bertot, Fraer
BibTeX entry: (Update)
Egon Borger and Wolfram Schulte. A programmer friendly modular definition of the semantics of Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes in Comp. Sci., pages 353--404. Springer-Verlag, 1999. http://citeseer.ist.psu.edu/borger97programmer.html More
@misc{ borger99programmer,
author = "E. Borger and W. Schulte",
title = "A programmer friendly modular definition of the semantics of Java",
text = "Egon Borger and Wolfram Schulte. A programmer friendly modular definition
of the semantics of Java. In J. Alves-Foss, editor, Formal Syntax and Semantics
of Java, volume 1523 of Lect. Notes in Comp. Sci., pages 353--404. Springer-Verlag,
1999.",
year = "1999",
url = "citeseer.ist.psu.edu/borger97programmer.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
906 A structural approach to operational semantics - Plotkin - 1997
169 A type system for Java bytecode subroutines - Stata, Abadi - 1998
69 Proving Java type soundness - Syme - 1998
56 Java is type safe -- probably - Drossopoulou, Eisenbach - 1998
53 A mathematical definition of full Prolog (context) - Borger, Rosenzweig - 1995
44 Java is not type-safe - Saraswat - 1997
41 A programmer friendly modular definition of the semantics of.. - Borger, Schulte - 1997
40 The WAM - definition and compiler correctness - Borger, Rosenzweig - 1995
37 Correctness of compiling Occam to transputer code (context) - Borger, Durdanovic - 1996
36 Language Specification (context) - Gosling, Joy et al. - 1996
36 Cambridge University Press (context) - Mosses - 1992
35 programming language (context) - Wallace, of - 1995
33 Virtual Machine Specification (context) - Lindholm, Yellin et al. - 1996
30 Java light is type-safe -- definitely - Nipkow, von Oheimb - 1998
21 Formal definition of an abstract VHDL'93 simulator by EA-mac.. (context) - Borger, Glasser et al. - 1995
19 Why use evolving algebras for hardware and software engineer.. - Borger - 1995
18 Defining the Java Virtual Machine as platform for provably c.. - Borger, Schulte - 1998
18 An event-based structural operational semantics of multi-thr.. - Cenciarelli, Knapp et al. - 1998
18 Logik der Forschung (context) - Popper - 1935
17 A formal method for provably correct composition of a real--.. (context) - Borger, Castillo - 1995
16 Reasoning about Abstract State Machines: The WAM Case Study (context) - Schellhorn, Ahrendt - 1997
15 Kermit: Specification and verification - Huggins - 1995
14 Defensive Java virtual machine version (context) - Cohen
12 Formal Syntax and Semantics of Java (context) - Alves-Foss - 1998
12 A practical method for rigorously controllable hardware desi.. - Borger, Mazzanti - 1997
10 A modular design for the Java VM architecture (context) - Borger, Schulte - 1998
8 Integrating ASMs into the software development lifecycle - Borger, Mearelli - 1997
8 Kimera: A Java system security architecture (context) - Sirer, McDirmid et al. - 1997
8 Part I: Simple mathematical interpreters (context) - Borger, Durdanovic et al. - 1994
7 An Evolving Algebra abstract machine (context) - Castillo, Durdanovi'c et al. - 1996
7 Prototyping realistic programming languages based on formal .. (context) - Poetzsch-Heffter - 1997
4 A formal specification of Java (context) - Qian - 1998
2 INRIA Rapport de Recherche No (context) - Kahn, Technical - 1987
2 Refining abstract machine specifications of the steam boiler.. (context) - Borger, Beierle et al. - 1996
1 Formal analysis of the Kerberos authentification system (context) - Bella, Riccobene - 1997
Documents on the same site (http://ftp.eecs.umich.edu/groups/gasm/): More
The Bakery Algorithm: Yet Another Specification and.. - Börger, Gurevich.. (Correct)
Semantic Validation of VHDL-AMS by an Abstract State Machine - Sasaki, al. (1997) (Correct)
Implementation of Dynamic Algebras with an Application to Prolog - Kappel (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC