Program development schemata as derived rules
From MaRDI portal
(Redirected from Publication:1583853)
Recommendations
Cites work
- scientific article; zbMATH DE number 3956409 (Why is no real title available?)
- scientific article; zbMATH DE number 65531 (Why is no real title available?)
- scientific article; zbMATH DE number 3566137 (Why is no real title available?)
- scientific article; zbMATH DE number 595995 (Why is no real title available?)
- scientific article; zbMATH DE number 1158762 (Why is no real title available?)
- scientific article; zbMATH DE number 3993540 (Why is no real title available?)
- scientific article; zbMATH DE number 788036 (Why is no real title available?)
- scientific article; zbMATH DE number 3378527 (Why is no real title available?)
- A fast pattern matching algorithm derived by transformational and assertional reasoning
- A fixedpoint approach to implementing (co)inductive definitions
- A framework for defining logics
- A survey of GCLA: a definitional approach to logic programming
- A unification algorithm for typed -calculus
- Derivation of Logic Programs
- Fixpoint approach to the theory of computation
- Foundation of logic programming based on inductive definition
- Isabelle. A generic theorem prover
- Logic programming, functional programming, and inductive definitions
- Natural deduction as higher-order resolution
- Program development by specification and transformation. The PROSPECTRA methodology, language family, and system
- Program development by stepwise refinement
- Proving and applying program transformations expressed with second-order patterns
- Synthesis and transformation of logic programs using unfold/fold proofs
- The Equivalence of Certain Computations
- The Semantics of Predicate Logic as a Programming Language
- The foundation of a generic theorem prover
- The promotion and accumulation strategies in transformational programming
Cited in
(8)- scientific article; zbMATH DE number 1927428 (Why is no real title available?)
- A logic for schema-based program development
- An abstract formalization of correct schemas for program synthesis
- Uniform schemata for proof rules
- scientific article; zbMATH DE number 1614686 (Why is no real title available?)
- Analogical program derivation based on type theory
- Program abstraction and instantiation
- scientific article; zbMATH DE number 1926610 (Why is no real title available?)
This page was built for publication: Program development schemata as derived rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583853)
