Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Partial Correctness Logics


Citation: Arnd Poetzsch-Heffter, "Deriving Partial Correctness Logics From Evolving Algebras". In B. Pehrson, I. Simon (Eds.): Proceedings of the IFIP 13th World Computer Congress '94, 1994, Elsevier, Vol. 3.
Summary: An introduction to the development of partial correctness logics for programming languages specified by ASMs.
Subjects: Logic & Computability
Download: PostScript, PDF, Compressed PostScript
Notes: Presented at IFIP Congress '94.