scientific article
From MaRDI portal
Publication:3996918
zbMath0697.68018MaRDI QIDQ3996918
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Related Items
A recursion theorem for predicate transformers on inductive data types, A specification-oriented semantics for the refinement of real-time systems, Verification of \(\mathrm{EB}^3\) specifications using CADP, A predicative semantics for the refinement of real-time systems, Non-deterministic expressions and predicate transformers, A case study in transformational design of concurrent systems, Object organisation in software environments for formal methods, Power simulation and its relation to traces and failures refinement, Assumption propagation through annotated programs, Model-checking discrete duration calculus, Circus Time with Reactive Designs, A relation algebraic model of robust correctness, Concurrent Kleene Algebra, Verification conditions are code, Safety and progress of recursive procedures, A theory of Orwellian specifications with NewThink, Property transformation under specification change, Laws of Programming for References, Reflexive transitive invariant relations: A basis for computing loop functions, Splitting atoms safely, A Program Construction and Verification Tool for Separation Logic, An elementary and unified approach to program correctness, Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example, Generic weakest precondition semantics from monads enriched with order, Stepwise refinement of heap-manipulating code in Chalice, Using refinement calculus techniques to prove linearizability, Using schedulers to test probabilistic distributed systems, A functional framework for agent-based models of exchange, Refinement concepts formalised in higher order logic, Hume box calculus: Robust system development through software transformation, Local variable scoping and Kleene algebra with tests, Synchronizing Model and Program Refactoring, Algebraic proofs of consistency and completeness, Assertions and recursions, Weakest precondition semantics for time and concurrency, Modelling temporal behaviour in complex systems with Timebands, Inductive data types for predicate transformers, Unifying Semantics for Concurrent Programming, Concurrent Kleene algebra and its foundations, Combining Top-Down and Bottom-Up Techniques in Program Derivation, Alternating states for dual nondeterminism in imperative programming, An Introduction to Grammar Convergence, From Proposition to Program, Preface, Action systems, unbounded nondeterminism, and infinite traces, Towards Algebraic Semantics of Circus Time, Program inversion in the refinement calculus, Real-time refinement in Manna and Pnueli's temporal logic, Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem, Algebra of Monotonic Boolean Transformers, Operating system verification---an overview, Generic Models of the Laws of Programming, Mathematics for reasoning about loop functions, Refinement for user interface designs, Contracts, games, and refinement., Mechanizing some advanced refinement concepts, A formal model of real-time program compilation, Nondeterminacy and recursion via stacks and games, Normal form approach to compiler design
