The transformational approach to program development
From MaRDI portal
Publication:3578393
Recommendations
Cited in
(33)- Approximating any logic program by a CS-program
- Transformational program development in a particular problem domain
- The list introduction strategy for the derivation of logic programs
- scientific article; zbMATH DE number 1615258 (Why is no real title available?)
- Program derivation through transformations: The evolution of list-copying algorithms
- scientific article; zbMATH DE number 4106263 (Why is no real title available?)
- The applicability of logic program analysis and transformation to theorem proving
- scientific article; zbMATH DE number 3872648 (Why is no real title available?)
- scientific article; zbMATH DE number 4080965 (Why is no real title available?)
- Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
- scientific article; zbMATH DE number 1926606 (Why is no real title available?)
- scientific article; zbMATH DE number 1926610 (Why is no real title available?)
- scientific article; zbMATH DE number 2077065 (Why is no real title available?)
- scientific article; zbMATH DE number 2077069 (Why is no real title available?)
- An NSF proposal
- On completeness of logic programs
- The branching-time transformation technique for chain datalog programs
- scientific article; zbMATH DE number 1615256 (Why is no real title available?)
- scientific article; zbMATH DE number 2084335 (Why is no real title available?)
- Deciding full branching time logic by program transformation
- Control generation by program transformation
- scientific article; zbMATH DE number 7345209 (Why is no real title available?)
- Tuning the program transformers from CC to PDL
- On the transformation of logic programs with instantiation based computation rules
- Program transformation, symbolic computation and algebraic manipulation. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 29--December 1, 1999
- Correctness and completeness of logic programs
- scientific article; zbMATH DE number 4164123 (Why is no real title available?)
- Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27--28, 2021
- scientific article; zbMATH DE number 177791 (Why is no real title available?)
- A foundation for flow-based program matching: using temporal logic and model checking
- scientific article; zbMATH DE number 1973217 (Why is no real title available?)
- Incremental execution of transformation specifications
- Transformations of logic programs with goals as arguments
This page was built for publication: The transformational approach to program development
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3578393)