CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Prototypes  \  Prototype Page Login  
   
banner bottom
File Top
Concurrent VM

The certified compilation process requires that type abstractions are preserved and represented at the target language/machine. We consider the domain of programming languages that include primitive concurrency abstractions and developed an object-oriented stack based virtual machine (cf. CLR or JVM) with primitive concurrency abstractions. We implemented a typed intermediate language and a type system that ensures the safety of primitive machine operations.


Date: September, 2011

url: http://ctp.di.fct.unl.pt/concurrentvm/


Authors: João Costa Seco, Luís Miguel Lourenço
File Bottom