| ชื่อเรื่อง | : | An Abstract Interpretation Framework for the Scheme and Java Programming Languages |
| นักวิจัย | : | Philippe Meunier |
| คำค้น | : | abstract interpretation , software reliability , static analysis |
| หน่วยงาน | : | สำนักงานกองทุนสนับสนุนการวิจัย |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2554 |
| อ้างอิง | : | http://elibrary.trf.or.th/project_content.asp?PJID=MRG5180369 , http://research.trf.or.th/node/3193 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Abstract interpretation is a mathematical theory that can be used to describe many static analyses for software verification. These formal analyses (types systems, data-flow analyses, etc.) are important tools to guarantee the absence of certain classes of defects in computer programs and ensure software reliability. We present the design and implementation of an abstract interpretation framework for the Scheme and Java programming languages. This framework is a plug-in tool for the DrScheme programming environment, and makes it easy for users to create new software analyses by allowing maximum code re-use both between different analyses and between similar analyses (a trace semantics, a data and control flow analysis, and a syntax checker) that are implemented on top of the framework to test its quality and usefulness |
| บรรณานุกรม | : |
Philippe Meunier . (2554). An Abstract Interpretation Framework for the Scheme and Java Programming Languages.
กรุงเทพมหานคร : สำนักงานกองทุนสนับสนุนการวิจัย. Philippe Meunier . 2554. "An Abstract Interpretation Framework for the Scheme and Java Programming Languages".
กรุงเทพมหานคร : สำนักงานกองทุนสนับสนุนการวิจัย. Philippe Meunier . "An Abstract Interpretation Framework for the Scheme and Java Programming Languages."
กรุงเทพมหานคร : สำนักงานกองทุนสนับสนุนการวิจัย, 2554. Print. Philippe Meunier . An Abstract Interpretation Framework for the Scheme and Java Programming Languages. กรุงเทพมหานคร : สำนักงานกองทุนสนับสนุนการวิจัย; 2554.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
