Using data groups to specify and check side effects

Using data groups to specify and check side effects (2002)

Cached

Download Links

by K. Rustan M. Leino , Arnd Poetzsch-Heffter , Yunhong Zhou

Citations:

BibTeX

@MISC{Leino02usingdata,
    author = {K. Rustan M. Leino and Arnd Poetzsch-Heffter and Yunhong Zhou},
    title = {Using data groups to specify and check side effects},
    year = {2002}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1310	A Discipline of Programming - Dijkstra - 1976
1054	The Z notation : A reference manual - Spivey - 1992
455	Extended static checking for Java - Flanagan, Leino, et al.
353	Preliminary design of JML: A behavioral interface specification language for Java - Leavens, Baker, et al. - 2006
347	Enforcing high-level protocols in low-level software - DeLine, Fähndrich - 2001
293	editors: Larch: Languages and Tools for Formal Speci cation - Guttag, Horning - 1993
273	Extended static checking - Detlefs, Leino, et al. - 1998
272	Dependent types in practical programming - Xi, Pfenning - 1999
131	Modular Specification and Verification of Object-Oriented Programs, volume 2262 of LNCS - Müller - 2002
129	The specification statement - Morgan - 1988
116	A generalization of Dijkstra’s calculus - Nelson - 1989
114	Polymorphic type, region and effect inference - Talpin, Jouvelot - 1992
107	Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991
104	LCLint: A tool for using specifications to check code - Evans, Guttag, et al. - 1994
102	Data abstraction and information hiding - Leino, Nelson
95	Toward Reliable Modular Programs - Leino - 1995
90	Alias burying: Unique variables without destructive reads - Boyland
85	Representation independence, confinement and access control - Banerjee - 2002
80	Correctness of a compiler for arithmetic expressions - McCarthy, Painter - 1967
79	Data groups: Specifying the modification of extended state - Leino - 1998
65	Wrestling with rep exposure - Detlefs, Leino, et al. - 1998
51	Aspect: Detecting bugs with abstract dependences - Jackson - 1995
47	An object-oriented effects system - Greenhouse, Boyland - 1999
43	Abstraction and Specification - Liskov, Guttag - 1986
40	Universes: A Type System for Alias and Dependency Control - Müller, Poetzsch-Heffter - 2001
31	Specification and verification of object-oriented programs - Poetzsch-Heffter - 1997
28	A.: Modular Specification and Verification Techniques for Object-Oriented Software Components - Müller, Poetzsch-Heffter - 2000
22	Extended static checking: A ten-year perspective - Leino - 2001
19	Exploiting Specifications to Improve Program Performance - Vandevoorde - 1994
13	Reasoning about aliasing - Utting - 1995
12	Extended Static Checking Research Report 159 - Detlefs, Leino, et al.
6	Extended static checking of programs with cyclic dependencies - Joshi - 1997
5	The interdependence of effects and uniqueness - Boyland - 2001
4	Functional programming ... and where you can put it - Page - 2001
2	G.Nelson,J.B.Saxe,andR.Stata.ExtendedStatic Checking for Java - Flanagan, Leino, et al. - 2002