Slides
Slides of the talk
"Semantics of Programming Languages Based on Small-Step Operational Semantics"
(
meeting of the IFIP working group 1.6, July 18, Hagenberg, Austria
)
[
PDF
]
$Author: sabel $, $Date: 2009/11/22 13:26:05 $
uni ffm © 1997, 2004