Publications

Export 5 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

2012
Dias, RJ, Distefano D, Seco JC, Lourenço J.  2012.  Verification of Snapshot Isolation in Transactional Memory Java Programs, June 11-16. 26th European Conference on Object-Oriented Programming. :640-664., Beijing, China Abstract

n/a

2011
Lourenço, LM.  2011.  Implementação de uma linguagem intermédia e máquina virtual para linguagens concorrentes. : DI-FCT-UNL Abstract
n/a
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
Dias, RJ, Distefano D, Seco JC, Lourenço J.  2010.  StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs. : CITI / DI-FCT-UNL Abstract
n/a