scientific article
From MaRDI portal
Publication:3853124
zbMath0419.68076MaRDI QIDQ3853124
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
latticestopological interpretationcontinuous mappingsdata typesmathematical semantics for high level programming languagesmathematical theory of computation
Abstract data types; algebraic specification (68Q65) Data structures (68P05) General topics in the theory of software (68N01) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items
Programmological aspects of the fixed point method, Fixed points and closure operators: Programmological aspects, Semantics of nondeterminism, concurrency, and communication, Recursive solution of initial value problems with temporal discretization, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I, A mathematical semantics for a nondeterministic typed lambda-calculus, Recursion-closed algebraic theories, Adherences of languages, Simple operational and denotational semantics for Prolog with cut, A dual problem to least fixed points, A first order logic for partial functions, An abstract data type for real numbers, On rational definitions in complete algebras without rank, The largest cartesian closed category of stable domains, Some economic applications of Scott domains, Logical foundations for programming semantics, Concurrency for Graph Grammars in a Petri net shell, On the cardinality of some lattices, Completeness results for the equivalence of recursive schemas, Relationships between classes of monotonic functions, Computable one-to-one enumerations of effective domains, IO and OI. I, IO and OI. II, On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics, On well-filtered reflections of \(T_0\) spaces, All solutions of a system of recursion equations in infinite trees and other contraction theories, The Bicategory-Theoretic Solution of Recursive Domain Equations
