Program transformation system based on generalized partial computation
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1953285
- A systematic approach to abstract interpretation of program transformations
- Program transformations in a denotational setting
- Transformational programming and the derivation of algorithms
- Euro-Par 2004 Parallel Processing
- Systematic design of program transformation frameworks by abstract interpretation
- Symbolic computation via program transformation
- scientific article; zbMATH DE number 2084335
Cites work
- A fast string searching algorithm
- A positive supercompiler
- A Transformation System for Developing Recursive Programs
- Essence of generalized partial computation
- scientific article; zbMATH DE number 5542185 (Why is no real title available?)
- scientific article; zbMATH DE number 194009 (Why is no real title available?)
- scientific article; zbMATH DE number 1953284 (Why is no real title available?)
- scientific article; zbMATH DE number 1953285 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- Improving programs by the introduction of recursion
- Partial evaluation of computation process -- an approach to a compiler-compiler
- Partial evaluation of computation process, revisited.
- The concept of a supercompiler
Cited in
(5)- Partial parametrization eliminates multiple traversals of data structures
- Recursive program optimization through inductive synthesis proof transformation
- Maximally-polyvariant partial evaluation in polynomial time
- scientific article; zbMATH DE number 1953285 (Why is no real title available?)
- Essence of generalized partial computation
This page was built for publication: Program transformation system based on generalized partial computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957059)
