Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
2010
Facilitate the development of safe, efficient programs.
Approach:
•Next-generation, higher-level, multiparadigm prog. languages.
•Improved program development environments.
•A framework (CiaoPP) which integrates:
•Debugging.
•Verification and certification.
•Testing.
•Optimization (optimized compilation, parallelization, ...)
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
53
References
0
Citations
NaN
KQI