Predicative programming Part I
From MaRDI portal
Publication:3723675
DOI10.1145/69610.357988zbMath0593.68010OpenAlexW2062251861MaRDI QIDQ3723675
Publication date: 1984
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/69610.357988
Related Items
Predicative methodology, Specification and top-down design of distributed systems, Termination conventions and comparative semantics, Unifying Theories of Programming with Monads, A Probabilistic Theory of Designs Based on Distributions, A relation algebraic model of robust correctness, Verification conditions are code, A calculus of refinements for program derivations, Interpretations of recursion under unbounded nondeterminacy, Real-time programming, An elementary and unified approach to program correctness, HySAT: An efficient proof engine for bounded model checking of hybrid systems, A Unary Semigroup Trace Algebra, A New Roadmap for Linking Theories of Programming, Do-it-yourself type theory, Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems, Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language, Reasoning about orchestrations of web services using partial correctness, General correctness: A unification of partial and total correctness, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Predicative specifications for functional programs describing communicating networks, A proof rule for while loop in VDM, On denotational versus predicative semantics, Specification-oriented semantics for communicating processes