On the public citation graph

Experiences with software specification and verification using LP, the Larch proof assistant

https://doi.org/10.1007/bf00709138
0 signed · 33 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-16442-1_26openalex-snapshot
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
inferredcites →https://doi.org/10.1007/3-540-51081-8_105openalex-snapshot
An overview of LP, the Larch Prover
inferredcites →https://doi.org/10.1007/3-540-52559-9openalex-snapshot
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness
inferredcites →https://doi.org/10.1007/3-540-52559-9_64openalex-snapshot
Functional specification of time sensitive communicating systems
inferredcites →https://doi.org/10.1007/978-1-4612-2704-5openalex-snapshot
Larch: Languages and Tools for Formal Specification
inferredcites →https://doi.org/10.1007/978-3-642-46490-4openalex-snapshot
Program Transformation and Programming Environments
inferredcites →https://doi.org/10.1007/978-3-642-46490-4_18openalex-snapshot
Algebraic Methods for Program Construction: The Project CIP
inferredcites →https://doi.org/10.1007/bf00047165openalex-snapshot
Journal of automated reasoning
inferredcites →https://doi.org/10.1007/bf00243135openalex-snapshot
Kit and the short stack
inferredcites →https://doi.org/10.1007/bf01887212openalex-snapshot
Term rewriting and beyond — theorem proving in Isabelle
inferredcites →https://doi.org/10.1016/0167-6423(82)90012-0openalex-snapshot
Finding repeated elements
inferredcites →https://doi.org/10.1016/0167-6423(86)90021-3openalex-snapshot
Report on the larch shared language
inferredcites →https://doi.org/10.1016/0167-6423(86)90022-5openalex-snapshot
A Larch Shared Language handbook
inferredcites →https://doi.org/10.1016/0167-6423(87)90019-0openalex-snapshot
Basic polymorphic typechecking
inferredcites →https://doi.org/10.1016/0167-6423(88)90065-2openalex-snapshot
Views of queues
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferredcites →https://doi.org/10.1038/352467a0openalex-snapshot
The fangs of the VIPER
inferredcites →https://doi.org/10.1093/comjnl/14.4.391openalex-snapshot
Proof of a recursive program: Quicksort
inferredcites →https://doi.org/10.1093/comjnl/5.1.10openalex-snapshot
Quicksort
inferredcites →https://doi.org/10.1109/32.58789openalex-snapshot
Debugging Larch shared language specifications
inferredcites →https://doi.org/10.1109/ms.1985.231756openalex-snapshot
The Larch Family of Specification Languages
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/800235.807080openalex-snapshot
Correctness of a compiler for a Lisp subset

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/0471028959.sof410openalex-snapshot
Broy, Manfred
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_9openalex-snapshot
Cooperation of Formal Methods in an Engineering Based Software Development Process
inferred← citeshttps://doi.org/10.1007/3-540-45294-x_13openalex-snapshot
A Mechanically Verified Compiling Specification for a Lisp Compiler
inferred← citeshttps://doi.org/10.1007/3-540-58715-2_115openalex-snapshot
Interpreter verification for a functional language
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_42openalex-snapshot
Automated Proof of the Correctness of a Compiling Specification
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.05.007openalex-snapshot
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01192-8openalex-snapshot
Conclusion
inferred← citeshttps://doi.org/10.1109/32.469458openalex-snapshot
Verifying a logic-synthesis algorithm and implementation: a case study in software verification
inferred← citeshttps://doi.org/10.1145/350887.350893openalex-snapshot
Using a coordination language to specify and analyze systems containing mobile components
inferred← citeshttps://doi.org/10.2172/10108329openalex-snapshot
Software reliability and safety in nuclear reactor protection systems
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.