Predicative programming Part I

Cited in

(26)

Specification and top-down design of distributed systems
Termination conventions and comparative semantics
Do-it-yourself type theory
A proof rule for while loop in VDM
A Unary Semigroup Trace Algebra
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
Real-time programming
Verification conditions are code
Predicative programming Part II
A new roadmap for linking theories of programming
Predicative methodology
Predicative specifications for functional programs describing communicating networks
Unifying theories of programming with monads
A relation algebraic model of robust correctness
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
An elementary and unified approach to program correctness
A calculus of refinements for program derivations
General correctness: A unification of partial and total correctness
Reasoning about orchestrations of web services using partial correctness
On denotational versus predicative semantics
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Interpretations of recursion under unbounded nondeterminacy
A probabilistic theory of designs based on distributions
Specification-oriented semantics for communicating processes

This page was built for publication: Predicative programming Part I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3723675)