The data type of spatial objects
From MaRDI portal
Publication:1941895
DOI10.1007/s00165-011-0182-7zbMath1259.68134MaRDI QIDQ1941895
Publication date: 22 March 2013
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-011-0182-7
compact-open topology; continuous functions; algebras; equations; topological algebras; abstract data types; space; spatial objects; conditional equations; dense subalgebras; terms; approximation by terms
68Q65: Abstract data types; algebraic specification
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Topological methods for algebraic specification
- Algebraic specifications of computable and semicomputable data types
- Computation by `While' programs on topological partial algebras
- Algebraic models of correctness for abstract pipelines.
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
- A theory of computer instructions
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
- Algebraic models of correctness for microprocessors