Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava  Home/Search
Context
Related
| daimi.aau.dk/~bra8130/LO...SICS10.ps.Z 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: daimi.aau.dk/~b...OMAPS_abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This document aims to provide a formal semantics for an object-oriented language with constructs for concurrency and distribution. The semantics is defined via a translation into the ß-calculus process algebra. As is (perhaps regrettably) standard when giving the semantics of a language in such a way, we concentrate on faithfully capturing the program dynamics while abstracting away from many important aspects of object-oriented languages, most notably inheritance. 1 Introduction The piece... (Update)
Similar documents (at the sentence level):
11.7%: Formalising and prototyping a concurrent object-oriented.. - Fredlund, al. (Correct)
Active bibliography (related documents): More All
0.1: Decoding Choice Encodings - Nestmann, Pierce (1997) (Correct)
0.1: Some Practical Problems and Their - Influence On Semantics (Correct)
0.1: Coordination Requirements Expressed in Types for Active Objects - Puntigam (1997) (Correct)
Similar documents based on text: More All
0.4: Analysis and Verification of Multiple-Agent Languages - Fifth.. - Dam, (eds.) (1996) (Correct)
0.2: An Algebraic Verification of a Mobile Network - Orava (1991) (Correct)
0.2: Formal Design Constraints - Klarlund, Koistinen, Schwartzbach (1997) (Correct)
BibTeX entry: (Update)
@inproceedings{ fredlund96formalising,
author = "Lars-ake Fredlund and Jari Koistinen and Fredrik Orava",
title = "Formalising and Prototyping a Concurrent Object-Based Language",
booktitle = "Logical and Operational Methods in the Analysis of Programs and Systems",
pages = "116-125",
year = "1996",
url = "citeseer.ist.psu.edu/177051.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
159 CML: A higher-order concurrent language (context) - Reppy - 1991
89 volume 18 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Baeten, Weijland - 1990
55 Facile antigua release --- programming guide (context) - Thomsen, Leth et al. - 1993
41 Concurrent programming in Concurrent Smalltalk (context) - Yokote, Tokoro - 1987
39 A pi-calculus semantics for an object based design notation (context) - Jones - 1993
19 Language design rationale and semantic framework for concurr.. (context) - Papathomas - 1992
17 Capsules: A shared memory access mechanism for concurrent C/.. (context) - Gehani - 1993
17 Process algebra semantics of POOL (context) - Vaandrager - 1990
15 Journal of Information and Computation (context) - Walker, the - 1995
10 Process calculus and parallel object-oriented programming la.. (context) - Walker - 1993
9 An interpretation of typed objects into typed ß-calculus (context) - Sangiorgi - 1996
7 Technical Report ECS-LFCS (context) - Milner, ss-calculus et al. - 1991
2 SM: A language for structuring of coarse-grained modules (context) - Koistinen, Wennmyr - 1995
Documents on the same site (http://www.daimi.aau.dk/~bra8130/LOMAPS_abstracts.html): More
Enhanced Operational Semantics - Degano, Priami (1996) (Correct)
Clock Analysis of Synchronous Dataflow Programs - Jensen (1995) (Correct)
Proving Properties of Dynamic Process Networks - Dam (1998) (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