Publications

Export 10 results:
Sort by: Author Title [ Type (Asc)] Year
Conference Paper
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, João Costa, and Luís Caires. "Subtyping First-Class Polymorphic Components." Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005. 2005.
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.
application/pdf icontbac.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
Conference Proceedings
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
Miscellaneous
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.
Seco, J. C., and L. Caires A Basic Model of Typed Components (extended version). Departamento de Informática FCT/UNL, 2000.
Seco, J. C., and L. Caires ComponentJ: The Reference Manual. Departamento de Informática FCT/UNL, 2002.
Caires, L., Hugo T. Vieira, and J. C. Seco A Model of Service Oriented Computation. Departamento de Informática FCT/UNL, 2007.
Report
Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 2013.