Giuseppe Milicia, Vladimiro Sassone  Home/Search
Context Related
| cogs.susx.ac.uk/users/vs...jeegFull.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: cogs.susx.ac.uk/users/vs/resea... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Communication Types (ACT) does provide a way to tackle the history sensitive anomaly in a modular fashion, it is still based on ad-hoc coding. Every instance of the anomaly requires the programmer to write a specific ACT to solve it. The problem is thus moved from the object to the ACT rather than solved. Similar results were obtained using the synchronization patterns [17] and synchronization rings [12] methodologies. (Update)
Cited by: More
The Inheritance Anomaly: Ten Years After - Milicia, Sassone (2004) (Correct)
Similar documents (at the sentence level):
77.7%: Jeeg: Temporal Constraints for the Synchronization of.. - Milicia, Sassone (2003) (Correct)
36.8%: Jeeg: A Programming Language for Concurrent Objects.. - Milicia, Sassone (2002) (Correct)
Active bibliography (related documents): More All
0.2: Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (Correct)
0.2: Classifying Inheritance Mechanisms in Concurrent.. - Crnogorac, Rao.. (1988) (Correct)
0.2: Monitoring Programs using Rewriting - Havelund, Rosu (2001) (Correct)
Similar documents based on text: More All
0.6: The Polder Computing Environment, a system for.. - Iskra, Belleman.. (2001) (Correct)
0.6: Community Software Development with the Astrophysics.. - von Laszewski, Russel, .. (2001) (Correct)
0.5: A Java Commodity Grid Kit - von Laszewski, Foster, Gawor, Lane (2001) (Correct)
BibTeX entry: (Update)
G. Milicia and V. Sassone. Jeeg: Temporal constraints for the synchronization of concurrent objects. Technical Report RS-03-6, BRICS, February 2003. http://citeseer.ist.psu.edu/milicia03jeeg.html More
@misc{ milicia03jeeg,
author = "G. Milicia and V. Sassone",
title = "Jeeg: Temporal constraints for the synchronization of concurrent objects",
text = "G. Milicia and V. Sassone. Jeeg: Temporal constraints for the synchronization
of concurrent objects. Technical Report RS-03-6, BRICS, February 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/milicia03jeeg.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 1999
756 Aspectoriented programming - Kiczales, Lamping et al. - 1997
725 Temporal and Modal Logic (context) - Emerson - 1990
539 The temporal logic of programs (context) - Pnueli - 1977
155 Analysis of inheritance anomaly in object-oriented concurren.. - Matsuoka, Yonezawa - 1993
103 The glory of the past (context) - Lichtenstein, Pnueli et al. - 1985
85 Special Issue: Formal Methods in Software Practice (context) - Holzmann, Transactions et al. - 1997
81 Inheritance and synchronization with enabled-sets (context) - Tomlinson, Singh - 1989
61 Monitoring java programs with java pathexplorer - Havelund, Rosu - 2001
53 automata and logic (context) - Thomas - 1990
52 The temporal rover and the atg rover - Drusinsky - 2000
52 Solving the Inheritance Anomaly in Concurrent Object-Oriente.. (context) - Meseguer - 1993
47 Runtime assurance based on formal specifications - Lee, Kannan et al. - 1999
42 Viewing Objects as Patterns of Communicating Agents - Nierstrasz, Papathomas - 1990
40 Composing Concurrent Objects (context) - Bergmans - 1994
38 Parallel programming in maude (context) - Meseguer, Winkier - 1992
36 Monitoring programs using rewriting - Havelund, Rosu - 2001
22 Automata-based verification of temporal properties on runnin.. - Giannakopoulou, Havelund - 2001
21 Inheritance and synchronization in concurrent OOP - Briot, Yonezawa - 1987
20 Synchronization constraints with inheritance: What is not po.. - Matsuoka, Wakita et al. - 1989
18 Abstracting process-to-function relations in concurrent obje.. (context) - Lopes, Lieberherr - 1994
17 Towards a type theory for active objects - Nierstrasz, Papathomas - 1991
13 Inheritance of synchronization constraints in concurrent obj.. (context) - Frlund - 1992
13 Synthesizing dynamic programming algorithms from linear temp.. - Rosu, Havelund - 2001
12 Testing linear temporal logic formulae on finite execution t.. - Havelund, Rosu - 2001
9 POOL: Design and experience (context) - America - 1991
4 Synchronization Rings -- Composable Synchronization for Obje.. (context) - Holmes - 1999
2 The Jeeg Document type definition (context) - Zuck, Logic et al. - 1986
Documents on the same site (http://www.cogs.susx.ac.uk/users/vs/research/paps/): More
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (Correct)
A Calculus of Mobile Resources - Godskesen, Hildebrandt, Sassone (2002) (Correct)
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001) (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