Program schemata with monotone operators
From MaRDI portal
Publication:1183753
zbMATH Open0736.68058MaRDI QIDQ1183753
Publication date: 28 June 1992
Published in: Programming and Computer Software (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (3)
Compositions of programs that induce special monotonic functions ⋮ Algebraic-grammatical models of parallel computation ⋮ Program schemes with constants
This page was built for publication: Program schemata with monotone operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183753)
