Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Algebraic specificationComputer programFormal methodsFormal specification

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
WOOD DENSITY AND EXTRACTIVE CONTENT VARIATION AMONG JAPANESE LARCH (LARIX KAEMPFERI, [LAMB.]CARR.) PROGENIES/PROVENANCES TRIALS IN EASTERN CANADA
Twelve years old Japanese larch ( Larix kaempferi , [Lamb.]Carr.) stems of 20 different progenies and/or provenances were… 
2010
2010
Effect of fungal exposure on the strength of thermally modified Norway spruce and Scots pine
Abstract Thermal modification at elevated temperatures changes the chemical, biological and physical properties of wood. In this… 
2009
2009
The growth rhythm and height growth of seedlings of Siberian (Larix sibirica Ledeb.) and Dahurian (Larix gmelinii Rupr.) larch provenances in greenhouse conditions.
The aim of this study was to determine whether the growth rhythm and height growth differ between various larch provenances grown… 
1998
1998
The development of a strength grading system for small diameter roundwood
Roundwood as a construction material is becoming more and more interesting to users. Using this wood in construction will… 
1997
1997
Synthesizing structured analysis and object‐based formal specifications
Structured Analysis (SA) is a widely‐used software development method. SA specifications are based on Data Flow Diagrams (DFD's… 
Highly Cited
1996
Highly Cited
1996
FME'96: Industrial Benefit and Advances in Formal Methods
How did software get so reliable without proof?.- A case study on the formal development of a reactor safety system.- Test… 
1995
1995
Weak behavioral subtyping for types with mutable objects
1992
1992
Effect of bryophytes on survival of conifer seedlings in subalpine forests of central Japan
Bryophytes form the major seedbed for coniferous trees in the subalpine forests of central Japan. Field experiments were… 
1960
1960
The Larch Sawfly Its Biology and Control
1956
1956
The Larch sawfly in the Lake States.
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)