An edition of Larch (1993)

Larch

Languages and Tools for Formal Specification

by , , , and

Cover of: Larch by John Guttag, John V. Guttag, James J. Horning, S. J. Garland, John Guttag
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by CoverBot
May 22, 2020 | History
Edit
An edition of Larch (1993)

Larch

Languages and Tools for Formal Specification

by , , , and

Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.

Publish Date
Publisher
Springer
Language
English
Pages
250

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer programming, Computer software, Development, Larch (Computer program language), formal specification, software engineering

Showing 4 featured editions. View all 4 editions?

Edition Availability
Cover of: Larch
Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
April 1993, Springer
in English
Libraries near you: WorldCat
Cover of: Larch
Larch: languages and tools for formal specification
1993, Springer-Verlag
in English
Libraries near you: WorldCat
Cover of: Larch
Larch: Languages and Tools for Formal Specification
January 1993, Springer
Hardcover in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Larch
Larch: Languages and Tools for Formal Specification
1993, Island Press
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Table of Contents

Preface
Page v
1. Specifications in Program Development
Page 1
2. A Little Bit of Logic
Page 8
3. An Introduction to Larch
Page 14
4. LSL: The Larch Shared Language
Page 35
5. LCL: A Larch Interface Language for C
Page 56
6. LM3: A Larch Interface Language for Modula-3
Page 102
7. Using LP to Debug LSL Specifications
Page 121
8. Conclusion
Page 154
A. An LSL Handbook
Page 157
B. Implementations of Example LCL Interfaces
Page 211
C. Lexical Forms and Initialization Files
Page 222
D. Further Information and Tools
Page 225
E. Classified Bibliography
Page 228
References
Page 230
Index
Page 239

Edition Notes

Published in
New York City, New York, USA

Contributors

Author
James. J. Horning
Contributor
S. J. Garland
Contributor
K. D. Jones
Contributor
A. Modet
Contributor
J. M. Wing

The Physical Object

Format
Hardcover
Pagination
xiii, 250p
Number of pages
250
Weight
570 grams

ID Numbers

Open Library
OL9063779M
Internet Archive
larchlanguagesto00gutt
ISBN 10
3540940065
ISBN 13
9783540940067
Library Thing
3326852
Goodreads
5939837

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
May 22, 2020 Edited by CoverBot Added new cover
July 27, 2014 Edited by r. clayton added toc
April 6, 2014 Edited by ImportBot Added IA ID.
August 10, 2010 Edited by IdentifierBot added LibraryThing ID
April 30, 2008 Created by an anonymous user Imported from amazon.com record