9 papers:
FME-1996-ChalinGR #identification #interface #specification- Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language (PC, PG, TR), pp. 385–404.
RTA-1996-VandevoordeK #distributed #empirical #proving #rule-based- Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover (MTV, DK), pp. 420–423.
- RTA-1996-Voisin #interface #proving
- A New Proof Manager and Graphic Interface for Larch Prover (FV), pp. 408–411.
SEKE-1994-Alexander #generative #specification- Combining transformational and derivational analogy in Larch specification generation (PA), pp. 131–138.
- SEKE-1993-Alexander #generative #multi #named #specification
- BENTON: A Multi-Agent System for Larch Specification Generation (PA), pp. 125–133.
- VDME-1991-1-Guttag #approach #specification
- The Larch Approach to Specification (Abstract) (JVG), p. 10.
- VDME-1991-2-GuttagH #interface #tutorial
- A Tutorial on LARCH and LCL, A LARCH/C Interface Language (JVG, JJH), pp. 1–78.
- RTA-1989-GarlandG #bibliography
- An Overview of LP, The Larch Power (SJG, JVG), pp. 137–151.
CADE-1988-GarlandG #named #proving- LP: The Larch Prover (SJG, JVG), pp. 748–749.
