↓ 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 13: Using LP to Study the Language PL 0 +
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
Using LP to Study the Language PL 0 +
Chapter number 13
Book title
First International Workshop on Larch
Published by
Springer, London, January 1993
DOI 10.1007/978-1-4471-3558-6_13
Book ISBNs
978-3-54-019804-8, 978-1-4471-3558-6
Authors

E. A. Scott, K. J. Norrie

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.