|
RUN >
Browsing by Author Seco, João
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) | | 2010 | Core language for web applications | Seco, João; Domingues, Miguel Brazão |
| 2011 | Implementação de uma linguagem concorrente com tipos comportamentais | Seco, João; Parreira, Nuno Jorge Corvo |
| 2012 | Information flow analysis using data-dependent logical propositions | Seco, João; Ferreira, Carla; Ferreira, Paulo Jorge Abreu Duarte |
| 2011 | Linguagem intermédia tipificada para concorrência em memória partilhada | Seco, João; Lourenço, Luís Miguel Cardoso |
| 2010 | Profiling of real-world web applications | Seco, João; Ferrão, Lúcio; Aguiar, Hugo Menino |
| 2012 | Type-based protocol conformance and aliasing control in concurrent java programs | Seco, João; Vieira, Hugo; Silva, Sérgio António Inácio da |
| 2009 | Type System for the ComponentJ Programming Language | Seco, João; Piriquito, Maria Margarida Lameira da Cunha |
Showing results 1 to 7 of 7
|
