An Abstract Interpretation Framework for the Scheme and Java Programming Languages
An Abstract Interpretation Framework for the Scheme and Java Programming Languages
หัวหน้าโครงการ
:
Philippe Meunier
ทีมวิจัย
:
Philippe Meunier
หัวหน้าโครงการ
ธนารักษ์ ธีระมั่นคง
นักวิจัยที่ปรึกษา
วันที่เริ่มโครงการ
:
15 พ.ค. 2551
วัตถุประสงค์
:
Implement an abstract interpretation framework as a plug-in tool for the DrScheme programming environment, which supports both the Java and Scheme programming languages.
Implement a trace semantics for Java and Scheme using the framework.
Port DrScheme's syntax checker to the new framework, thereby increasing code re-use among analyses.
Promote this framework as a way to:
" maximize code re-use among existing program analyses and future ones;
" make the development of such analyses easier;
" therefore make such analyses more readily available;
" make software more reliable as a result.
Gain knowledge about commonalities in the analysis of functional and object-oriented programming languages.
Deepen our own understanding of the mathematical theory of abstract interpretation.
