Výsledky vyhledávání - "Semantics of Programming Languages—Algebraic approaches to semantics"

Healthiness from Duality Autor Hino, Wataru, Kobayashi, Hiroki, Hasuo, Ichiro, Jacobs, Bart

“…Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers…”
Získat plný text