Program development by stepwise refinement
From MaRDI portal
Publication:5617313
DOI10.1145/362575.362577zbMath0214.43005OpenAlexW2987977008WikidataQ55897864 ScholiaQ55897864MaRDI QIDQ5617313
Publication date: 1971
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/20.500.11850/80846
Related Items
Declarative event based models of concurrency and refinement in psi-calculi, Program composition via unification, Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques, Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study, Property Preserving Refinement for Csp-Casl, Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems, A calculus of refinements for program derivations, A verified SAT solver framework with learn, forget, restart, and incrementality, Datalogy - the Copenhagen tradition of computer science, Lax naturality through enrichment, An elementary and unified approach to program correctness, Program composition via unification, The refinement calculus of reactive systems, Automatic refinement to efficient data structures: a comparison of two approaches, Modular action language, Stepwise refinement of heap-manipulating code in Chalice, An experiment on program development, Verification of distributed systems with local-global predicates, Compositional noninterference from first principles, On correct refinement of programs, Fundamental solutions of the eight queens problem, Algebraic implementation of abstract data types, On solving the progressive party problem as a MIP., The shadow knows: refinement and security in sequential programs, Formalizing network flow algorithms: a refinement approach in Isabelle/HOL, Bridging arrays and ADTs in recursive proofs, Refinement to imperative HOL, Dave—a validation error detection and documentation system for fortran programs, A language-independent system to aid the development of structured programs, Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels, Comparing disjunctive modal transition systems with an one-selecting variant, Linear congruence equations for the solutions of the \(N\)-queens problem, A sheaf-theoretic approach to pattern matching and related problems, An interactive graphics based visual modelling tool, Programming with narrowing: a tutorial, Retrenchment and refinement interworking: the tower theorems, Hidden-Markov program algebra with iteration, Syntactic/semantic interactions in programmer behavior: A model and experimental results, The case for structured programming, Proving programs correct through refinement, A contribution to the programming calculus, Provably correct derivation of algorithms using FermaT, Introducing extra operations in refinement, The conical methodology and the evolution of simulation model development, Efficient verified (UN)SAT certificate checking, MODULARITY IN MATHEMATICS, Refiner: A Problem-Solving Environment for Scientific Simulator Creation, Interpolation in computing science: The semantics of modularization, Synthetic programming, Formalizing the Edmonds-Karp Algorithm, Data metastructures, Programming by induction, Proof of correctness of data representations, Refinement for user interface designs, Program development schemata as derived rules, Action Refinement in Process Algebra and Security Issues, Relational demonic fuzzy refinement, Sound and Relaxed Behavioural Inheritance, Parallel composition and decomposition of specifications, Product optimization in stepwise design
