Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,376,793 papers from all fields of science
Search
Sign In
Create Free Account
Larch Prover
Known as:
LP
Larch Prover, or LP for short, is an interactive theorem proving system for multisorted first-order logic. It is currently used at MIT and elsewhere…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Algorithm
First-order logic
Larch family
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Constructor-based observational logic
M. Bidoit
,
R. Hennicker
J. Log. Algebraic Methods Program.
2006
Corpus ID: 15837258
2000
2000
Checking the Consistency of UML Class Diagrams Using Larch Prover
Pascal André
,
A. Romanczuk
,
J. Royer
Rigorous Object-Oriented Methods
2000
Corpus ID: 15318346
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a…
Expand
1998
1998
Supporting organization and use of problem-solving methods libraries by a formal approach
C. Golbreich
Int. J. Hum. Comput. Stud.
1998
Corpus ID: 5166509
Different libraries of problem-solving methods have been described in the past few years. But they have mostly been defined at an…
Expand
1996
1996
Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover
Mark T. Vandevoorde
,
D. Kapur
International Conference on Rewriting Techniques…
1996
Corpus ID: 17812926
The Distributed Larch Prover, DLP, is a distributed and parallel version of LP, an interactive prover. DLP helps users find…
Expand
1995
1995
Speci(cid:12)cation Matching of Software Components
Amy Moormann Zaremski
,
Jeannette M. Wing
1995
Corpus ID: 267943926
matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of…
Expand
1995
1995
Incorporating specialized theories into a general purpose theorem prover
A. Pogosyants
1995
Corpus ID: 7966869
This thesis focuses on automatic theorem proving. In this area there is usually a tradeoff between the "generality" of a prover…
Expand
1995
1995
Formal Verification of Concurrent programs : How to specify UNITY using the Larch Prover
B. Chetali
1995
Corpus ID: 17445603
This paper describes the use of the Larch Prover to verify concurrent programs. The chosen speciication environment is Unity…
Expand
1993
1993
Correctness of At-Most-Once Message Delivery Protocols
B. Lampson
,
N. Lynch
,
Jørgen F. Søgaard-Andersen
Formal Techniques for (Networked and) Distributed…
1993
Corpus ID: 10090271
This paper addresses the issues of formal description and veri cation for communication protocols. Speci cally, we present the…
Expand
1992
1992
Thoughts on a Larch/ML and a New Application for LP
Jeannette M. Wing
,
Eugene J. Rollins
,
Amy Moormann Zaremski
International Workshop on Larch
1992
Corpus ID: 15210302
We describe a preliminary design for a Larch interface language for the programming language ML. [Since this design covers only a…
Expand
1990
1990
Experience with the Larch Prover
Jeannette M. Wing
,
C. Gong
Formal Methods in Software Development
1990
Corpus ID: 11958353
Many people have argued the importance of mechanical theorem-proving for reasoning about programs. Proving the correctness of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE