Publications

Export 33 results:
Sort by: Author Title Type [ Year  (Asc)]
2000
Seco, J. C., and L. Caires A Basic Model of Typed Components (extended version). Departamento de Informática FCT/UNL, 2000.
2002
Seco, J. C., and L. Caires ComponentJ: The Reference Manual. Departamento de Informática FCT/UNL, 2002.
2005
Seco, João Costa, and Luís Caires. "Subtyping First-Class Polymorphic Components." Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005. 2005.
2006
Seco, João Costa Languages and Types for Component-Based Programming. Universidade Nova de Lisboa., 2006.thesis.pdf
Seco, João Costa, and Luís Caires. "Types for Dynamic Reconfiguration." Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006. 2006. esop-final.pdf
2007
Caires, L., J. C. Seco, and Hugo T. Vieira Automotive and Finance Case Studies in the Conversation Calculus. Departamento de Informática FCT/UNL, 2007.
Caires, L., Hugo T. Vieira, and J. C. Seco A Model of Service Oriented Computation. Departamento de Informática FCT/UNL, 2007.
2008
Seco, João Costa, Ricardo Silva, and Margarida Piriquito. "Component J: A component-based programming language with dynamic reconfiguration." Comput. Sci. Inf. Syst.. 5 (2008): 63-86.
Vieira, Hugo T., L. Caires, and J. C. Seco. "The Conversation Calculus: A Model of Service Oriented Computation." Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008. Ed. Sophia Drossopoulou. Lecture Notes in Computer Science. Springer-Verlag, 2008.
Seco, J. C., Ricardo Silva, and Margarida Piriquito. "ComponentJ: component programming and reconfiguration." Proceedings of CoRTA (Compilers, Related Technologies and Applications). Instituto Politécnico de Bragança - ESTG, 2008.
Seco, J. C., Ricardo Silva, and Margarida Piriquito. "ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration." Computer Science and Information Systems. 05 (2008): 65-86.
2010
Dias, Ricardo J., João M. Lourenço, and João Costa Seco Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach. Departamento de Informática FCT/UNL, 2010.
Dias, Ricardo J., Dino Distefano, João M. Lourenço, and João Costa Seco StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs. Departamento de Informática FCT/UNL, 2010.
Aguiar, Hugo Menino, J. C. Seco, and Lúcio Ferrão. "Profiling of Real-World Web Applications." Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. Ed. Shmuel Ur João Lourenço, Eitan Farchi. ACM Electronic Library, 2010.
Domingues, Miguel Brazão, and J. C. Seco. "LiveWeb - Core Language for Web Applications." Proceedings of InForum 2010. Universidade do Minho, 2010.
Dias, Ricardo, J. C. Seco, and J. M. S. Lourenço. "Snapshot Isolation Anomalies Detection in Software Transactional Memory." Proceedings of InForum 2010. Universidade do Minho, 2010.
2011
Lourenço, Luís, and João Costa Seco Linguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos. INForum 2011. Coimbra, 2011.
Caires, L., Jorge A. Perez, J. C. Seco, Hugo T. Vieira, and Lúcio Ferrão. "Type-based Access Control in Data-Centric Systems." Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. Ed. Gilles Barthe. Lecture Notes in Computer Science. Springer-Verlag, 2011.
2012
Sousa, Diogo G., João C. Martins, and João Costa Seco Paralelização de Código Puro numa Linguagem Imperativa. Simpósio de Informática, InForum. Caparica, 2012.
Dias, Ricardo, Dino Distefano, João Costa Seco, and João Lourenço Verification of Snapshot Isolation in Transactional Memory Java Programs. Proceedings of the 26th European conference on Object-oriented programming (ECOOP). Beijing, China: Springer-Verlag ( Germany ), 2012.
2013
Lourenço, Luís Miguel, João Costa Seco, and Francisco Martins Concurrent Typed Intermediate Language. Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing. Coimbra, 2013.
Ferreira, Paulo, João Costa Seco, and Carla Ferreira Fluxo de Informação em Sistemas com Políticas de Confidencialidade Dinâmicas. INForum 2013. Évora, 2013.
Grade, Nuno, Lúcio Ferrão, and João Costa Seco Optimizing Data Queries Over Heterogeneous Sources. INForum 2013. Évora, 2013.inforum2013.pdf
Ferrão, Lúcio Emanuel Represas, Seco João Ricardo Viegas Da Costa, Caires Luis Manuel Marques Da Costa, Caleira Borrêga, Gonçalo Filipe Xavier, António Augusto Vieira Melo, and OutSystems-Software em Rede SA SYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL., 2013. Abstract

n/a

Caires, Luís, and João Costa Seco The Type Discipline of Behavioral Separation. 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Rome, Italy: ACM, 2013.bst-tr.pdf