Paper Info
Title
Translation and optimization for a core calculus with exceptions
Abstract
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies to omit some of the fancy features. For instance, exception handling is an important aspect of programming languages that is instrumental for building robust software with good error handling capability. However, exceptions are often omitted during the initial formulation on program analysis and optimization. Moreover, when considering the traditional approach of converting programs from high level languages to machine code, the target code is meant for the machine, being too cryptic (or low level) for program analysis. Our goal is to design an intermediate, minimal but expressive, core calculus which can be easily analysed and manipulated, and to show that this calculus can handle major language features by translating a significant imperative source language into it. The translation to the core calculus enables us to easily analyse and optimize the code, while not sacrificing the flexibility and rich characteristic of the source language.
Year
DOI
Venue
2009
10.1145/1480945.1480952
PEPM
Keywords
Field
DocType
exception handling,machine code,significant imperative source language,high level language,program analysis,source language,target code,programming language,major language feature,core calculus,error handling,optimization,translation
Drawback,Programming language,Source code,Computer science,Exception handling,High-level programming language,Software,Machine code,Program analysis,Low-level programming language,Calculus
Conference
Citations 
PageRank 
References 
2
0.43
23
Authors
3
Name
Order
Citations
PageRank
Cristina David124514.14
Cristian Gherghina2856.60
Wei-Ngan Chin386863.37