Larch: Languages and tools for formal specification (1993)

by J. V. Guttag , J. J. Horning , S. J. Garland , K. D. Jones , A. Modet , J. M. Wing
Venue:TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE
Citations:308 - 9 self

Documents Related by Co-Citation

418 Proof of correctness of data representations – C A R Hoare - 1972
428 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
163 Raymie Stata. Extended static checking for Java – Cormac Flanagan, K Rustan M Leino, Mark Lillibridge, Greg Nelson, James B Saxe - 2002
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
68 Wrestling With Rep Exposure – David L. Detlefs, K. Rustan M. Leino, Greg Nelson - 1998
97 Toward Reliable Modular Programs – K. Rustan M. Leino - 1995
544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
31 Raymie Stata. Checking Java programs via guarded commands – K Rustan M Leino, James B Saxe - 1999
77 Friends need a bit more: Maintaining invariants over shared state – Mike Barnett, David A. Naumann - 2004
105 Confined Types – Boris Bokowski, Jan Vitek - 1999
108 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
138 Typeful programming – Luca Cardelli - 1989
9 A Quick Overview of Larch/C++ – Yoonsik Cheon, Gary T. Leavens - 1994
52 Reasoning about object-oriented programs that use subtypes – G T Leavens, W E Weihl - 1990
140 Designing an object-oriented programming language with behavioural subtyping. in: J.W. de – P America - 1991