The transformational approach to program development
From MaRDI portal
Publication:3578393
DOI10.1007/978-3-642-14309-0_6zbMATH Open1285.68035OpenAlexW1497328860MaRDI QIDQ3578393FDOQ3578393
Authors: Alberto Pettorossi, Maurizio Proietti, Valerio Senni 
Publication date: 20 July 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14309-0_6
Recommendations
Cited In (33)
- Title not available (Why is that?)
- Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
- Deciding full branching time logic by program transformation
- 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
- On completeness of logic programs
- Correctness and completeness of logic programs
- Title not available (Why is that?)
- Transformations of logic programs with goals as arguments
- Approximating any logic program by a CS-program
- Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27--28, 2021
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Control generation by program transformation
- Tuning the program transformers from CC to PDL
- Incremental execution of transformation specifications
- Title not available (Why is that?)
- The branching-time transformation technique for chain datalog programs
- A foundation for flow-based program matching: using temporal logic and model checking
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The applicability of logic program analysis and transformation to theorem proving
- The list introduction strategy for the derivation of logic programs
- Program derivation through transformations: The evolution of list-copying algorithms
- Title not available (Why is that?)
- An NSF proposal
- On the transformation of logic programs with instantiation based computation rules
- Transformational program development in a particular problem domain
Uses Software
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)
