Publication:3947101
From MaRDI portal
zbMath0486.68013MaRDI QIDQ3947101
Publication date: 1978
algebraic semantics; denotational semantics; complete metric spaces; infinite trees; cpos; computation domains; fixpoint method; least fixpoint method; semantics of non-deterministic recursive program schemes
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Distributive semantics for nondeterministic typed \(\lambda\)-calculi, All solutions of a system of recursion equations in infinite trees and other contraction theories, Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I, Embedding metric spaces into CPO's, Unnamed Item