Viktor Kuncak, Patrick Lam, Martin Rinard  Home/Search
Context Related
Links: DBLP | mit.edu/~rinard/paper/lcpc01.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: mit.edu/~rinard/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a new language for identifying the changing roles that objects playover the course of the computation. Each object's points-to relationships with other objects determine the role that it currently plays. Roles therefore reflect the object's membership in specific data structures, with the object's role changing as it moves between data structures. We provide a programming model which allows the developer to specify the roles of objects at different points in the computation. ... (Update)
Cited by: More
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2004) (Correct)
Similar documents (at the sentence level):
66.5%: A Language for Role Specifications - Kuncak, Lam, Rinard (2001) (Correct)
Active bibliography (related documents): More All
0.5: Designing an Algorithm for Role Analysis - Kuncak (2001) (Correct)
0.5: Object Models, Heaps, and Interpretations - Rinard, Kuncak (2001) (Correct)
0.5: Role Analysis - Kuncak, Lam, Rinard (2002) (Correct)
Similar documents based on text: More All
0.4: Roles Are Really Great! - Kuncak, Lam, Rinard (2001) (Correct)
0.2: A Type System and Analysis for the Automatic Extraction and.. - Lam, Rinard (2003) (Correct)
Related documents from co-citation: More All
8: Parametric shape analysis via 3valued logic - Sagiv, Reps et al. - 1999
7: Boolean algebra of shape analysis constraints - Kuncak, Rinard - 2004
5: Symbolic implementation of the best transformer - Reps, Sagiv et al. - 2004
BibTeX entry: (Update)
Viktor Kuncak, Patrick Lam, and Martin Rinard. A language for role specifications. In Proceedings of the 14th Workshop on Languages and Compilers for Parallel Computing, volume 2624 of Lecture Notes in Computer Science, Springer, 2001. http://citeseer.ist.psu.edu/article/kuncak01language.html More
@misc{ kuncak01language,
author = "V. Kuncak and P. Lam and M. Rinard",
title = "A language for role specifications",
text = "Viktor Kuncak, Patrick Lam, and Martin Rinard. A language for role specifications.
In Proceedings of the 14th Workshop on Languages and Compilers for Parallel
Computing, volume 2624 of Lecture Notes in Computer Science, Springer, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/article/kuncak01language.html" }
Citations (may not include all citations):200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996 ACM DBLP
66 Algebraic reconstruction of types and effects - Jouvelot, Gi - 1991 ACM DBLP
65 Typestate: A programming language concept for enhancing soft.. (context) - Strom, Yemini - 1986 ACM DBLP
53 Quasi-linear types - Kobayashi - 1999 ACM DBLP
38 Ownership types for exible alias protection (context) - Clarke, Potter et al. - 1998
37 An annotation language for optimizing software libraries - Guyer, Lin - 1999 ACM DBLP
37 Shape types - Fradet, Le Metayer - 1997 ACM DBLP
37 Alias types - Smith, Walker et al. - 2000 ACM DBLP
16 Abstract description of pointer data structures: An approach.. (context) - Hummel, Hendren et al. - 1993 DBLP
16 A language for conveying the aliasing properties of dynamic - Hummel, Hendren et al. - 1994
16 A decidable logic for linked data structures (context) - Benedikt, Reps et al. - 1999
16 and Jerzy Tiuryn (context) - Harel, Kozen - 2000
13 Fickle: Dynamic object re-classi cation (context) - Drossopoulou, Damiani et al. - 2001
8 Design-driven compilation - Rugina, Rinard - 2001 ACM DBLP
4 and Gilad Bracha (context) - Gosling, Joy et al. - 2001
2 to appear in ACM Proceedings of PLDI (context) - Moeller, assertion
1 Prentice Hall (context) - Reenskaug - 1996
Documents on the same site (http://www.cag.lcs.mit.edu/~rinard/paper/): More
Hierarchical Concurrency in Jade - Scales, Rinard, Lam, Anderson (Correct)
Commutativity Analysis: A Technique for Automatically.. - Rinard, Diniz (1996) (Correct)
Commutativity Analysis: A New Analysis Framework for.. - Rinard, Diniz (1996) (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