Opening book details…
Can I read First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 (Workshops in Computing) on EtoBox?
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 (Workshops in Computing) by John W. Baugh Jr. (auth.), Ursula Martin MA, PhD, MBCS, CEng, Jeannette M. Wing SB, SM, PhD (eds.) is a nonfiction available to read on EtoBox.
What is First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 (Workshops in Computing) about?
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 writte
Who reads First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 (Workshops in Computing)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- John W. Baugh Jr. (auth.), Ursula Martin MA, PhD, MBCS, CEng, Jeannette M. Wing SB, SM, PhD (eds.)
- Publisher
- Springer-Verlag London
- Published
- 1993
- Language
- EN
- ISBN
- 9780387198040
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Language Learning
More by John W. Baugh Jr. (auth.), Ursula Martin MA, PhD, MBCS, CEng, Jeannette M. Wing SB, SM, PhD (eds.)
Similar books
- Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993 (Workshops in Computing) — Stephen Brien (auth.), D. J. Andrews, J. F. Groote, C. A. Middelburg (1994)
- Interfaces to Database Systems (IDS92): Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1–3 July 1992 (Workshops in Computing) — Richard Cooper (auth.), Richard Cooper MSc, PhD (1993)
- Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings — Karl Meinke (auth.), Michaël Rusinowitch, Jean-Luc Rémy (1993)
- Specifications of Database Systems : International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991 — A. T. M. Aerts, P. M. E. De Bra, K. M. van Hee (auth.), David J. Harper BSc, PhD, Moira C. Norrie BSc, MSc (1992)
- 5th Refinement Workshop: Proceedings Of The 5th Refinement Workshop, Organised By Bcs-facs, London, 8?10 January 1992 (workshops In Computing) — Mr Patrick O’Ferrall (auth.), Cliff B. Jones DPhil, Roger C. Shaw GIMA, MBCS, Tim Denvir MA, CEng, MIEE, (1992)
- Code Generation ― Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991 (Workshops in Computing) — Helmut Emmelmann (auth.), Robert Giegerich, Susan L. Graham PhD (1992)