Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2009/10 / Oberseminar / Dulma Rodriguez: Towards Type Inference for RAJA (work in progress)


Inhaltsbereich

Dulma Rodriguez: Towards Type Inference for RAJA (work in progress)

05.02.2010 14:15
Wann 14:15 15:45 05.02.2010
von bis
Wo Z1.09 (neu: L109)
Termin übernehmen vCal
iCal

RAJA is a type system for a compile-time analysis of heap-space requirements for Java style object-oriented programs. Last year we developed a typechecking algorithm for this system.

Our next goal is the type inference: starting from a Java-like program without RAJA type annotations, we try to find them by a constraint-based analysis. In this talk we will present a constraint-generation system and some ideas for solving the constraints.

 

Artikelaktionen

abgelegt unter:

Funktionsleiste