Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

First International Workshop on Larch

First International Workshop on Larch

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540198048
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Discoidin Domain Receptors in Health and Disease

$129.00

Bewertung von Unternehmen der New Economy

$69.99

Managing TV Brands with Social Media

$54.99

Continuous Bounded Cohomology of Locally Compact Groups

$39.99

Agents and Artificial Intelligence

$59.99

Bootstrapping and Related Techniques

$54.99

China in Global Governance of Intellectual Property

$109.00

Bausanierung

$99.00

Fibromyalgie und Selbstwirksamkeit

$44.99

Heilpflanzenkunde fr Tierrzte

$54.99

Sixty-Two Years of Uncertainty

$89.00

Information and Communication Technologies in Tourism

$109.99

Quantum Optics, Experimental Gravity, and Measurement Theory

$169.00

Erfolgsprinzip Persnlichkeit

$29.99

The Foundations of Empirical Knowledge

$79.99

Coward the Dramatist

$99.00

Die Wicklungen der Wechselstrommaschinen

$59.99

Next Generation Internet

$34.99

Mechanical Characterization of Load Bearing Fibre Composite Laminates

$219.99

Bone Marrow Transplantation and Other Treatment after Radiation Injury

$54.99

Aero- and Hydro-Acoustics

$109.99

Language Learning of Adult Migrants in Europe

$129.00

Statistics Today

$44.99

White Dwarfs

$54.99

Agent-Oriented Software Engineering IV

$54.99

Portraits of Irish Art in Practice

$89.00

The Entrepreneur in Rule-Based Economics

$109.99

Die Osteoarthrosen

$59.99

Defending Life

$169.99

Thinking Italian Animals

$54.99

Victims Rights in Flux: Criminal Justice Reform in Colombia

$159.99

Design in Maritime Engineering

$169.00

Computersysteme Ebenbilder der Natur?

$39.99

Creating a Lifestyle Medicine Center

$249.99

Tunnel Engineering Handbook

$149.00

Asymmetric Organocatalysis Combined with Metal Catalysis

$279.99

Animal Visions

$99.99

HCI International 2018 Posters' Extended Abstracts

$89.99

Therapielexikon Dermatologie und Allergologie

$19.99

Pro Visual C++/CLI and the .NET 2.0 Platform

$54.99