skip to content
First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 Preview this item
ClosePreview this item
Checking...

First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992

Author: Ursula Martin; Jeannette Marie Wing
Publisher: London ; New York : Springer-Verlag, ©1993.
Series: Workshops in computing.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
The Larch family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial firms are interested in using it in their system development programs. It differs from the other "higher profile" languages such as Z and VDM in three respects: firstly, it was designed to specify programs rather than mathematical models and therefore  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Dedham (Mass., 1992)
Congresses
Additional Physical Format: Print version:
International Workshop on Larch (1st : 1992 : Dedham, Mass.).
First International Workshop on Larch.
London ; New York : Springer-Verlag, ©1993
(DLC) 92036174
(OCoLC)27034224
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ursula Martin; Jeannette Marie Wing
ISBN: 9781447135586 144713558X
OCLC Number: 624417018
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 312 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Is engineering software amenable to formal specification? / J.W. Baugh Jr. --
How to prove observational theorems with LP / M. Bidoit and R. Hennicker --
Using SOS definitions in term rewriting proofs / K.-H. Buth --
An exercise in LP : the proof of a non restoring division circuit / B. Chetali and P. Lescanne --
Integrating ASSPEGIQUE and LP / C. Choppy and M. Bidoit --
Mechanical verification of concurrent systems with TLA / U. Engberg, P. Grønning and L. Lamport --
The DECspec project : tools for Larch/C / G. Feldman and J. Wild --
Formal verification of Ada programs / D. Guaspari, C. Marceau and W. Polak --
A semantics for Larch/Modula-3 interface language / K.D. Jones --
Preliminary design of Larch/C++ / G.T. Leavens and Y. Cheon --
Generating proof obligations for circuits / N. Mellergaard and J. Staunstrup --
Using transformations and verification in circuit design / J.B. Saxe [and others] --
Using LP to study the language PL[+ over o] / E.A. Scott and K.J. Norrie --
Semantic analysis of Larch interface specifications / Y.M. Tan --
Optimizing programs with partial specifications / M.T. Vandevoorde --
A new front-end for the Larch Prover / F. Voisin --
Thoughts on a Larch/ML and a new application for LP / J.M. Wing, E. Rollins and A. Moormann Zaremski.
Series Title: Workshops in computing.
Responsibility: Ursula Martin and Jeannette M. Wing (eds.).

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/624417018> # First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "624417018" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/334970#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://dewey.info/class/005.131/e20/> ;
   schema:about <http://id.worldcat.org/fast/1380167> ; # Larch prover.
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/334970#Topic/larch> ; # LARCH
   schema:about <http://experiment.worldcat.org/entity/work/data/334970#Place/dedham_mass_1992> ; # Dedham
   schema:about <http://experiment.worldcat.org/entity/work/data/334970#CreativeWork/larch_prover> ; # Larch prover
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/27925822> ; # Jeannette Marie Wing
   schema:contributor <http://viaf.org/viaf/71858813> ; # Ursula Martin
   schema:copyrightYear "1993" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/334970#Meeting/international_workshop_on_larch_1st_1992_dedham_mass> ; # International Workshop on Larch (1st : 1992 : Dedham, Mass.)
   schema:datePublished "1993" ;
   schema:description "The Larch family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial firms are interested in using it in their system development programs. It differs from the other "higher profile" languages such as Z and VDM in three respects: firstly, it was designed to specify programs rather than mathematical models and therefore addresses the complexities of real programs; secondly, it has been specifically developed as a practical tool for use in several major application domains; finally, it has a state-of-the-art semantic analysis tool in the form of the Larch Prover. This volume contains the papers presented at the First International Workshop on Larch, held in Dedham, USA, 13-15 July 1992. The workshop brought together for the first time those who have designed the Larch languages, built tool support for them, and used them to specify and reason about soft- and hardware systems. It encouraged discussion about how the Larch languages and Prover are being used, and assessed plans for developing them. The aim of the workshop was to raise the profile of Larch, and to provide impetus for continued research into its tools and languages. Among the topics covered in this volume are: the mechanical verification of concurrent systems with TLA; the DECspec project; the preliminary design of Larch/C++; generating proof obligations for circuits; lock-level verification; checking software design using formal specifications; optimizing programs with specifications; a report on the formal basis of generics. First International Workshop on Larch provides a comprehensive overview of the international use and development of Larch. It will be invaluable to researchers and practitioners who are already involved with, or who wish to know more about, this important specification language."@en ;
   schema:description "Is engineering software amenable to formal specification? / J.W. Baugh Jr. -- How to prove observational theorems with LP / M. Bidoit and R. Hennicker -- Using SOS definitions in term rewriting proofs / K.-H. Buth -- An exercise in LP : the proof of a non restoring division circuit / B. Chetali and P. Lescanne -- Integrating ASSPEGIQUE and LP / C. Choppy and M. Bidoit -- Mechanical verification of concurrent systems with TLA / U. Engberg, P. Grønning and L. Lamport -- The DECspec project : tools for Larch/C / G. Feldman and J. Wild -- Formal verification of Ada programs / D. Guaspari, C. Marceau and W. Polak -- A semantics for Larch/Modula-3 interface language / K.D. Jones -- Preliminary design of Larch/C++ / G.T. Leavens and Y. Cheon -- Generating proof obligations for circuits / N. Mellergaard and J. Staunstrup -- Using transformations and verification in circuit design / J.B. Saxe [and others] -- Using LP to study the language PL[+ over o] / E.A. Scott and K.J. Norrie -- Semantic analysis of Larch interface specifications / Y.M. Tan -- Optimizing programs with partial specifications / M.T. Vandevoorde -- A new front-end for the Larch Prover / F. Voisin -- Thoughts on a Larch/ML and a new application for LP / J.M. Wing, E. Rollins and A. Moormann Zaremski."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/334970> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Dedham (Mass., 1992)"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/334970#Series/workshops_in_computing> ; # Workshops in computing.
   schema:isSimilarTo <http://www.worldcat.org/oclc/27034224> ;
   schema:name "First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992"@en ;
   schema:productID "624417018" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/624417018#PublicationEvent/london_new_york_springer_verlag_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/334970#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://books.google.com/books?id=TN5QAAAAMAAJ> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4471-3558-6> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/27034224.html> ;
   schema:url <http://link.springer.com/10.1007/978-1-4471-3558-6> ;
   schema:workExample <http://worldcat.org/isbn/9781447135586> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/624417018> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/334970#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/334970#Meeting/international_workshop_on_larch_1st_1992_dedham_mass> # International Workshop on Larch (1st : 1992 : Dedham, Mass.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/334970#Place/dedham_mass> ; # Dedham, Mass.)
   schema:name "International Workshop on Larch (1st : 1992 : Dedham, Mass.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/334970#Place/dedham_mass> # Dedham, Mass.)
    a schema:Place ;
   schema:name "Dedham, Mass.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/334970#Series/workshops_in_computing> # Workshops in computing.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/624417018> ; # First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992
   schema:name "Workshops in computing." ;
   schema:name "Workshops in computing" ;
    .

<http://id.worldcat.org/fast/1380167> # Larch prover.
    a schema:CreativeWork ;
   schema:name "Larch prover." ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://link.springer.com/10.1007/978-1-4471-3558-6>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/27925822> # Jeannette Marie Wing
    a schema:Person ;
   schema:familyName "Wing" ;
   schema:givenName "Jeannette Marie" ;
   schema:name "Jeannette Marie Wing" ;
    .

<http://viaf.org/viaf/71858813> # Ursula Martin
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "Martin" ;
   schema:givenName "Ursula" ;
   schema:name "Ursula Martin" ;
    .

<http://worldcat.org/isbn/9781447135586>
    a schema:ProductModel ;
   schema:isbn "144713558X" ;
   schema:isbn "9781447135586" ;
    .

<http://www.worldcat.org/oclc/27034224>
    a schema:CreativeWork ;
   rdfs:label "First International Workshop on Larch." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/624417018> ; # First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992
    .

<http://www.worldcat.org/title/-/oclc/624417018>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/624417018> ; # First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.