Title: Typeful Code Representation at Low-level

Presented by Rui Shi

Abstract:
Program manipulation is common in software development. Examples include 
parser, type-checker, evaluator, program transformer, etc, in which a primary concern is to 
choose a proper representation of the object programs (the one under study) in the 
meta language (in which we construct programs). In practice, most representations 
chosen for typed object programs are typeless in the sense that the type of an object 
program cannot be reflected in the type of its representation. This is unsatisfactory
as such typeless representations make it impossible to capture in the type system of 
the meta language various invariants related to the types of object programs. This talk
is to give a general introduction of typeful code representation and certain applications.
Currently, we are considering representation of typed low-level code in an imperative 
language. Combining with the recently introduced notion of stateful views, both type 
invariants of object code and memory safety of meta programs can be ensured by 
the type system ATS/SV.