Larch
Subtitle: Languages and Tools for Formal Specification
Publisher: Springer
Published: January 1993
Place of publication: New York City, New York, USA
Language: eng
Format: Hardcover
Number of pages: 250
ISBN-13: 9783540940067
Subjects: Programming - General; High level programming languages; Computers - Languages / Programming; Computer Bks - Languages / Programming
Table of contents: title: Preface
pagenum: v; label: 1
title: Specifications in Program Development
pagenum: 1; label: 2
title: A Little Bit of Logic
pagenum: 8; label: 3
title: An Introduction to Larch
pagenum: 14; label: 4
title: LSL:  The Larch Shared Language
pagenum: 35; label: 5
title: LCL: A Larch Interface Language for C
pagenum: 56; label: 6
title: LM3: A Larch Interface Language for Modula-3
pagenum: 102; label: 7
title: Using LP to Debug LSL Specifications
pagenum: 121; label: 8
title: Conclusion
pagenum: 154; label: A
title: An LSL Handbook
pagenum: 157; label: B
title: Implementations of Example LCL Interfaces
pagenum: 211; label: C
title: Lexical Forms and Initialization Files
pagenum: 222; label: D
title: Further Information and Tools
pagenum: 225; label: E
title: Classified Bibliography
pagenum: 228; title: References
pagenum: 230; title: Index
pagenum: 239