Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP

摘要

Facilitate the development of safe, efficient programs.udApproach:ud•Next-generation, higher-level, multiparadigm prog. languages.ud•Improved program development environments.ud•A framework (CiaoPP) which integrates:ud•Debugging.ud•Verification and certification.ud•Testing.ud•Optimization (optimized compilation, parallelization, ...)