↓ Skip to main content
What is this page? Embed badge

First International Workshop on Larch

Overview of attention for book
Cover of 'First International Workshop on Larch'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Is Engineering Software Amenable to Formal Specification?
  3. Altmetric Badge
    Chapter 2 How to Prove Observational Theorems with LP
  4. Altmetric Badge
    Chapter 3 Using SOS Definitions in Term Rewriting Proofs
  5. Altmetric Badge
    Chapter 4 An exercise in LP: The Proof of a Non Restoring Division circuit
  6. Altmetric Badge
    Chapter 5 Integrating ASSPEGIQUE and LP
  7. Altmetric Badge
    Chapter 6 Mechanical Verification of Concurrent Systems with TLA
  8. Altmetric Badge
    Chapter 7 The DECspec Project: Tools for Larch/C
  9. Altmetric Badge
    Chapter 8 Formal Verification of Ada Programs
  10. Altmetric Badge
    Chapter 9 A Semantics for a Larch/Modula-3 Interface Language
  11. Altmetric Badge
    Chapter 10 Preliminary Design of Larch/C++
  12. Altmetric Badge
    Chapter 11 Generating Proof Obligations for Circuits
  13. Altmetric Badge
    Chapter 12 Using Transformations and Verification in Circuit Design
  14. Altmetric Badge
    Chapter 13 Using LP to Study the Language PL 0 +
  15. Altmetric Badge
    Chapter 14 Semantic Analysis of Larch Interface Specifications
  16. Altmetric Badge
    Chapter 15 Optimizing Programs with Partial Specifications
  17. Altmetric Badge
    Chapter 16 A new Front-End for the Larch Prover
  18. Altmetric Badge
    Chapter 17 Thoughts on a Larch/ML and a New Application for LP
Attention for Chapter 9: A Semantics for a Larch/Modula-3 Interface Language
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Semantics for a Larch/Modula-3 Interface Language
Chapter number 9
Book title
First International Workshop on Larch
Published by
Springer, London, January 1993
DOI 10.1007/978-1-4471-3558-6_9
Book ISBNs
978-3-54-019804-8, 978-1-4471-3558-6
Authors

Kevin D. Jones

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Professor 2 50%
Professor > Associate Professor 2 50%
Readers by discipline Count As %
Computer Science 4 100%

This page is provided by Altmetric.