Writing Larch Interface Language Specifications (1987)

Cached

Download Links

by Jeannette M. Wing
Venue:ACM Transactions on Programming Languages and Systems
Citations:73 - 2 self

Active Bibliography

917 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
General Terms: Theory, – Maurice P. Herlihy, Jeannette M. Wing
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
6 Larch/Smalltalk: A Specification Language for Smalltalk – Yoonsik Cheon - 1991
16 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
6 Unintrusive Ways to Integrate Formal Specifications in Practice – Jeannette M. Wing, Amy Moormann Zaremski - 1991
27 Report on the Larch Shared Language Version 2.3 – J.V. Guttag, J. J. Horning, A. Modet - 1993
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
13 Foundations of a Theory of Specification for Distributed Systems – Eugene W. Stark, Eugene William Stark, Of Teghnology - 1984
38 Synchronization Primitives for a Multiprocessor: A Formal Specification – A.D. Birrell, J.V. Guttag, J. J. Horning, R. Levin - 1987
4 Complexity theory and the operational structure of algebraic programming systems – P. R. J. Asveld, J. V. Tucker - 1982
7 Structuring and Modularity – Fernando Orejas - 1996
Library of Congress Cataloging-in-Publication Data – Harold Abelson, Gerald Jay Sussman, Julie Sussman, Foreword Alan J. Perlis, London England, Mcgraw-hill Book Company
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs – Gary T. Leavens, William E. Weihl - 1994
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
On the Design and Verificatio, n of Operating Sy.stems • • o. – unknown authors - 1977
5 Constructing a theory of a data structure as an aid to program development – C. B. Jones - 1979
33 Reusable Software Components – Bruce W. Weide, William F. Ogden, Stuart H. Zweben - 1991
34 Formal Specification: a Roadmap – Axel Van Lamsweerde - 2000