Concepedia
Science of Computer Programming · 1990 · 22 citations · 10 references
ComputingComputer ScienceFormal MethodsInvariant TheoryModel TheoryRecursion TheoryRefinement CalculusType CheckingType SystemsRefinementRefinement CheckingRefinement Invariants
10
Denotational semantics: The scott-strachey approach to programming language theory
Computer Languages · 1983 · 1.2K citations
Computing, Computer Science, Formal Methods +8
The Z notation: A reference manual
Jan Madey · Science of Computer Programming · 1990 · 561 citations
Natural Sciences, Mathematics, Metrology +3
A theoretical basis for stepwise refinement and the programming calculus
Joseph M. Morris · Science of Computer Programming · 1987 · 309 citations
Computing, Computer Science, Formal Methods +13
A generalization of Dijkstra's calculus
Greg Nelson · ACM Transactions on Programming Languages and Systems · 1989 · 277 citations · Full text
Computing, Computer Science, Programming Languages +15
The specification statement
Carroll Morgan · ACM Transactions on Programming Languages and Systems · 1988 · 266 citations · Full text
Computing, Computer Science, Programming Languages +10