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:309 - 9 self

Documents Related by Co-Citation

415 Proof of Correctness of Data Representations – C Hoare
431 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
293 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
164 Raymie Stata. Extended Static Checking for Java – Cormac Flanagan, K Rustan Rustan, M Leino, Mark Lillibridge, Greg Nelson, James B Saxe - 2002
157 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
67 Wrestling With Rep Exposure – David L. Detlefs, K. Rustan M. Leino, Greg Nelson - 1998
98 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
1448 Object-oriented Software Construction – Bertrand Meyer - 2004
31 Raymie Stata. Checking Java programs via guarded commands – K Rustan M Leino, James B Saxe - 1999
1505 The temporal logic of reactive and concurrent systems – Zohar Manna, Amir Pnueli - 1992
139 Typeful programming – Luca Cardelli - 1989
105 Confined Types – Boris Bokowski, Jan Vitek - 1999
76 Friends need a bit more: Maintaining invariants over shared state – Mike Barnett, David A. Naumann - 2004
106 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
303 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
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 – Pierre America - 1991