Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Tue 19 Jul 2016 11:30 - 12:00 at Belli - Session 2 Chair(s): Delphine Demange

Static Single Assignment (SSA) intermediate representation is widely used to optimize and compile code in imperative and object-oriented languages, but it can also be useful for static type analysis. We introduce FJSSA , a Java-like imperative calculus supporting programs in SSA form; we define its big-step operational semantics, and a judgment to statically check whether a program is in SSA form, and prove its soundness. FJSSA provides a formal basis for type analysis of programs in SSA form in object-oriented languages.

Tue 19 Jul

FTfJP-2016
11:00 - 12:25: FTfJP - Session 2 at Belli
Chair(s): Delphine DemangeIRISA / University of Rennes 1
FTfJP-201611:00 - 11:30
Talk
Timothy JonesVictoria University of Wellington, David PearceVictoria University of Wellington
DOI Pre-print File Attached
FTfJP-201611:30 - 12:00
Talk
Davide AnconaUniversity of Genova, Andrea Corradi
FTfJP-201612:00 - 12:25
Talk
Jens DietrichMassey University, New Zealand, Nicholas HollingumThe University of Sydney, Bernhard ScholzUniversity of Sydney, Australia