scientific article
From MaRDI portal
Publication:3947101
zbMath0486.68013MaRDI QIDQ3947101
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticsdenotational semanticscomplete metric spacesinfinite treescposcomputation domainsfixpoint methodleast fixpoint methodsemantics of non-deterministic recursive program schemes
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (5)
Period doubling bifurcations in a two-box model of the Brusselator ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I ⋮ Embedding metric spaces into CPO's ⋮ Distributive semantics for nondeterministic typed \(\lambda\)-calculi ⋮ All solutions of a system of recursion equations in infinite trees and other contraction theories
This page was built for publication:
