A source of inconsistency in theories of nondeterministic functions

DOI10.1016/S0167-6423(01)00022-3zbMath1004.68036OpenAlexW1973970906MaRDI QIDQ1347995

Alexander Bunkenburg, Joseph M. Morris

Publication date: 15 May 2002

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(01)00022-3

zbMATH Keywords

specification languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

Modelling higher-order dual nondeterminacy ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints ⋮ BGSL: an imperative language for specification and refinement of backtracking programs

This page was built for publication: A source of inconsistency in theories of nondeterministic functions