Eintrag weiter verarbeiten
Buchumschlag von Predicate transformer semantics of a higher-order imperative language with record subtyping
Verfügbar über Open Access

Predicate transformer semantics of a higher-order imperative language with record subtyping

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Science of Computer Programming
Personen und Körperschaften: Naumann, David A.
In: Science of Computer Programming, 41, 2001, 1, S. 1-51
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Elsevier BV
Schlagwörter: