[an error occurred while processing this directive] [an error occurred while processing this directive]

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.
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/pclea.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT