Program transformations in the POLCA project
Abstract
References
- Program transformations in the POLCA project
Recommendations
Deriving a Slicing Algorithm via FermaT Transformations
In this paper, we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper) is extended to a method for deriving an implementation of a program ...
Generation of visitor components that implement program transformations
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of software that traverses these structures. Unfortunately, the visitor pattern is ...
Program transformations and skeletons: formal derivation of parallel programs
PAS '95: Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture SynthesisThe paper describes-from a software engineering perspective-a framework for the formal development of parallel algorithms on arbitrary architectures. The algorithms are synthesised in a transformational way, i.e. by applying correctness preserving ...
Comments
Information & Contributors
Information
Published In
Sponsors
- IMEC: IMEC
- Systematic: Systematic Paris-Region Systems & ICT Cluster
- DREWAG: DREWAG
- AENEAS: AENEAS
- Technical University of Dresden
- CMP: Circuits Multi Projets
- PENTA: PENTA
- CISCO
- OFFIS: Oldenburger Institut für Informatik
- Goethe University: Goethe University Frankfurt
Publisher
EDA Consortium
San Jose, CA, United States
Publication History
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 50Total Downloads
- Downloads (Last 12 months)36
- Downloads (Last 6 weeks)9
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in