Role analysis

Role analysis (2004)

Cached

Download Links

[www.csail.mit.edu]
[www.mit.edu]

Other Repositories/Bibliography

DBLP

by Viktor Kuncak , Patrick Lam , Martin Rinard

Citations:

91 - 37 self

BibTeX

@MISC{Kuncak04roleanalysis,
    author = {Viktor Kuncak and Patrick Lam and Martin Rinard},
    title = {Role analysis},
    year = {2004}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

586	Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS - Nipkow, Paulson, et al. - 2002
465	Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, et al. - 1999
375	Efficient ContextSensitive Pointer Analysis for C Programs - Wilson, Lam - 1995
360	Analysis of pointers and structures - CHASE, WEGMAN, et al. - 1990
348	S.K.: Automatic predicate abstraction of C programs 36(5 - Ball, Majumdar, et al. - 2001
347	Enforcing high-level protocols in low-level software - DeLine, Fähndrich
281	Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps, et al. - 1998
191	Flexible alias protection - NOBLE, VITEK, et al. - 1998
189	Typestate: A programming language concept for enhancing software reliability - Strom, Yemini - 1986
186	Typed memory management in a calculus of capabilities - Crary, Walker, et al. - 1999
182	Islands: Aliasing protection in object-oriented languages - Hogg - 1991
170	A parameterized type system for race-free Java programs - Boyapati, Rinard - 2001
156	Alias types - Smith, Walker, et al. - 2000
140	Using Role Components to Implement Collaboration-Based Designs - VanHilst, Notkin - 1996
128	Alias types for recursive data structures - Walker, Morrisett - 2000
125	Pointer Analysis for Multithreaded Programs - Rugina, Rinard - 1999
120	types can change the world - Linear - 1990
119	Extending Object-Oriented Systems With Roles - Gottlob, Schrefl, et al. - 1996
119	Graph Types - Klarlund, Schwartzback - 1993
117	Predicate classes - Chambers - 1993
116	Balloon types: Controlling sharing of state in data types - Almeida - 1997
91	Putting pointer analysis to work - Ghiya, Hendren - 1998
90	Alias burying: Unique variables without destructive reads - Boyland
82	An annotation language for optimizing software libraries - Guyer, Lin - 1999
70	Connection analysis: A practical interprocedural heap analysis for C - Ghiya, Hendren - 1996
69	A general data dependence test for dynamic, pointer-based data structures - Hummel, Hendren, et al. - 1994
68	Shape types - Fradet, Métayer - 1997
68	automata and logic - Languages - 1997
66	Jerzy Tiuryn. Dynamic logic - Harel, Kozen - 2000
54	Quasi-linear types - Kobayashi - 1999
54	Twovariable logic with counting is decidable - Grädel, Otto, et al. - 1997
49	Typestate checking of machine code - Xu, Reps, et al. - 2001
44	Extended typestate checking using conditional liveness analysis - Strom, Yellin - 1993
37	Is it a tree, a DAG, or a cyclic graph - Ghiya, Hendren - 1996
32	Credible compilation - Rinard
27	Graphs and decidable transductions based on edge constraints - Klarlund, Schwartzbach - 1994
27	Role-Based Exploration of Object-Oriented Programs - Demsky, Rinard - 2002
26	Ownership types for alias protection - Clarke, Potter, et al. - 1998
23	Abstract description of pointer data structures: An approach for improving the analysis and optimization of imperative programs - Hummel, Hendren, et al. - 1992
21	Algebraic reconstruction of types and e#ects - Jouvelot, Gifford - 1991
20	A language for conveying the aliasing properties of dynamic, pointer-based data structures - Hummel, Hendren, et al. - 1994
17	On the boolean algebra of shape analysis constraints - Kuncak, Rinard - 2003
16	Rinetzky and Mooly Sagiv. Interprocedural shape analysis for recursive programs - Noam - 2001
14	The Pointer Assertion Logic Engine - Mller, Schwartzbach - 2001
13	Existential heap abstraction entailment is undecidable - Kuncak, Rinard
13	On role logic - Kuncak, Rinard - 2003
12	TVLA: A framework for kleene based logic static analyses - Lev-Ami - 2000
11	An introduction to the database programming language Fibonacci - ALBANO, BERGAMINI, et al. - 1995
11	Foundations for extensible objects with roles - Ghelli
11	Designing an algorithm for role analysis - Kuncak - 2001