A Theory of Pointers for the UTP (Q5505599)

From MaRDI portal





scientific article; zbMATH DE number 5498386
Language Label Description Also known as
default for all languages
No label defined
    English
    A Theory of Pointers for the UTP
    scientific article; zbMATH DE number 5498386

      Statements

      A Theory of Pointers for the UTP (English)
      0 references
      0 references
      0 references
      0 references
      27 January 2009
      0 references
      semantics
      0 references
      refinement
      0 references
      relations
      0 references
      object models
      0 references

      Identifiers