↓ 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 4: An exercise in LP: The Proof of a Non Restoring Division circuit
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.