Publication | Closed Access
The Larch Family of Specification Languages
278
Citations
10
References
1985
Year
EngineeringSoftware EngineeringSoftware AnalysisLanguage ConstructSyntaxLarch FamilyLarch SpecificationsGrammarLanguage StudiesProgramming LanguagesHigh-level Programming LanguageProgramming Language TheoryFormal SpecificationComputer ScienceFunctional ProgrammingSoftware DesignSpecification LanguageProgram AnalysisFormal MethodsIntermediate RepresentationAlgebraic LanguageLinguistics
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a programming language.
| Year | Citations | |
|---|---|---|
Page 1
Page 1