IEEE Software · 1985 · 278 citations · 10 references
ComputingComputer ScienceProgramming LanguagesSoftware EngineeringAbstract Syntax TreesFormal Language FoundationsProgramming Language DesignSoftware ArchitectureSpecification LanguagesType SystemsAlgebraic LanguageAlgebraic SpecificationTwo-tier Architecture
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a programming language.
10
Proof of correctness of data representations
C. A. R. Hoare · Acta Informatica · 1972 · 967 citations
The correctness problem in computer science
Mathematics and Computers in Simulation · 1983 · 355 citations
On Formalism in Specifications
Bertrand Meyer · IEEE Software · 1985 · 288 citations
Predicative programming Part I
Eric C. R. Hehner · Communications of the ACM · 1984 · 156 citations · Full text