Bart Jacobs, Frank Piessens  Home/Search
Context
Related
| cs.kuleuven.ac.be/~bartj/j...javapi.pdf 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: cs.kuleuven.ac.be/~bartj/javap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a formal semantics of the concurrent objectoriented programming language Java, as a mapping of Java programs to #-calculus processes. Our semantics shows how Java features such as polymorphism, typecasts, exceptions, per-thread memory caching, and native method invocations can together be modelled in the #-calculus. (Update)
Active bibliography (related documents): More All
0.1: Generic Exception Handling and the Java Monad - Schröder, Mossakowski (Correct)
0.1: A Hoare Logic for Monitors in Java - Abraham, de Boer, de Roever, Steffen (Correct)
0.1: Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
Similar documents based on text: More All
0.3: Cv - Neven (Correct)
0.3: On the Practical Feasibility of Secure Distributed.. - Neven, Piessens, De.. (2000) (Correct)
0.2: On Securely Scheduling A Meeting - Herlea, Claessens, Neven, Piessens.. (2001) (Correct)
BibTeX entry: (Update)
@misc{ jacobs-picalculus,
author = "Bart Jacobs and Frank Piessens",
title = "A π-Calculus Semantics of Java: The Full Definition",
url = "citeseer.ist.psu.edu/716830.html" }
Citations (may not include all citations):862 Java Language Specification - Joy, Steele et al. - 2000
127 Information and Computation (context) - Walker, the
81 calculus: A Theory of Mobile Processes (context) - Sangiorgi, Walker - 2001
45 A logic for the Java Modeling Language JML - Jacobs, Poll - 2001
43 Java and the Java Virtual Machine--- Definition (context) - Stark, Schmid et al. - 2001
10 Concurrency and Computation: Practice and Experience (context) - von Oheimb, for et al. - 2001
1 A programming language based on the #-calculus (context) - Pierce, Turner - 2000
1 Formalizing Correlate---from practice to (context) - Robben, Piessens et al. - 1997
http://www.cs.kuleuven.ac.be/~bartj/javapi
http://isabelle.in.tum.de/Bali
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