scientific article; zbMATH DE number 3982494

MaRDI QIDQ3746867zbMATH OpenFDO

Authors Austin Melton, David A. Schmidt

Publication date 1986

zbMATH Keywords

complete algebraic cposcomplete partial orderorder topologyprogramming language semanticsScott topologysemantic domains

Mathematics Subject Classification ID

Topological lattices (06B30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Domain theory and topology.
• scientific article; zbMATH DE number 1959534
• The Scott approach structure: an extension of the Scott topology for quantitative domain theory
• scientific article; zbMATH DE number 3846844
• Programming semantics to topological systems to lattice-valued topology

Cited in

(1)

• Topological Framework for Non‐Priority

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746867)