Predicate transformer semantics of a higher-order imperative language with record subtyping (Q5946569): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 23:45, 4 March 2024

scientific article; zbMATH DE number 1659188
Language Label Description Also known as
English
Predicate transformer semantics of a higher-order imperative language with record subtyping
scientific article; zbMATH DE number 1659188

    Statements

    Predicate transformer semantics of a higher-order imperative language with record subtyping (English)
    0 references
    0 references
    14 October 2001
    0 references
    predicate transformers
    0 references
    ordered data types
    0 references
    total-correctness semantics
    0 references

    Identifiers