Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
2013
Lourenço, LM, Seco JC, Martins F.  2013.  Concurrent Typed Intermediate Language. Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing. :1590-1591., Coimbra Abstract

n/a

2011
Lourenço, LM, Seco JC, Martins F.  2011.  Linguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos. Simpósio de Informática (INForum). Abstract
n/a
2010
Militão, F, Aldrich J, Caires L.  2010.  Aliasing control with view-based typestate. Formal Techniques for Java Programs (FTfJP). Abstract
n/a