First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 - Workshops in Computing (Paperback)
  • First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 - Workshops in Computing (Paperback)
zoom

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 - Workshops in Computing (Paperback)

(editor), (editor)
£76.50
Paperback 315 Pages / Published: 22/04/1993
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool support for them, particularly the Larch Prover, and used them to specify and reason about software and hardware systems. The Larch Project started in 1980, led by John Guttag at MIT and James Horning, then at Xerox/Palo Alto Research Center and now at Digital Equipment Corporation/Systems Research Center (DEC/SRC). Major applications have included VLSI circuit synthesis, medical device communications, compiler development and concurrent systems based on Lamport's TLA, as well as several applications to classical theorem proving and algebraic specification. Larch supports a two-tiered approach to specifying software and hardware modules. One tier of a specification is wrillen in the Larch Shared Language (LSL). An LSL specification describes mathematical abstractions such as sets, relations, and algebras; its semantics is defined in terms of first-order theories. The second tier is written in a Larch interface language, one designed for a specific programming language. An interface specification describes the effects of individual modules, e.g. state changes, resource allocation, and exceptions; its semantics is defined in terms of first-order predicates over two states, where state is defined in terms of the programming language's notion of state. Thus, LSL is programming language independent; a Larch interface language is programming language dependent.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540198048
Number of pages: 315
Weight: 560 g
Dimensions: 235 x 155 x 17 mm

You may also be interested in...

Seven Languages in Seven Weeks
Added to basket
Learn To Program
Added to basket
£19.99
Paperback
R Cookbook
Added to basket
£31.99
Paperback
C++ Primer
Added to basket
£44.49
Paperback
Coding for Beginners in easy steps
Added to basket
The C++ Programming Language
Added to basket
Data Analysis Using SQL and Excel
Added to basket
C Programming Absolute Beginner's Guide
Added to basket
C Programming Language
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
C Programming in Easy Steps
Added to basket
C++ Templates
Added to basket
£59.49
Hardback
C++ All-in-One For Dummies
Added to basket
Programming
Added to basket
£55.49
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.