Eintrag weiter verarbeiten
Predicate transformer semantics of a higher-order imperative language with record subtyping
Gespeichert in:
Zeitschriftentitel: | Science of Computer Programming |
---|---|
Personen und Körperschaften: | |
In: | Science of Computer Programming, 41, 2001, 1, S. 1-51 |
Medientyp: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |