Larch family

Known as: LSL, Larch (disambiguation), Larch Shared Language 
The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Derek M. Johnson,* Ottar N. Bjørnstad and Andrew M. Liebhold ASI 501, Department of Entomology, Pennsylvania State University… (More)
  • figure 1
  • figure 25
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Larch heartwood is appreciated for its good mechanical properties, its colour and its texture, and it is often used outdoors… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2001
2001
This document is a list of frequently asked questions (FAQ) and their answers for the Larch family of specification languages. It… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
JML is a behavioral interface specification language tailored to Java. It is designed to be written and read by working software… (More)
Is this relevant?
1992
1992
We describe the problems encountered in the design of Larch/C++, especially its object-oriented features. We discuss a range of… (More)
  • table 1
Is this relevant?
1990
1990
The Larch family of specification languages supports a two-tiered definitional approach to specification. Each specification has… (More)
  • figure 2
  • figure 5
  • figure 6
  • figure 11
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are… (More)
  • figure 2
  • figure 3
  • figure 7
  • figure 9
  • figure 10
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Current research in specifications is emphasizing the practical use of formal specifications in program design. One way to… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a… (More)
Is this relevant?