Travelled to:1 × Austria
1 × China
1 × France
1 × Germany
1 × Hungary
1 × Italy
1 × Portugal
1 × United Kingdom
Collaborated with:L.Caires H.T.Vieira L.M.Lourenço F.Martins R.J.Dias D.Distefano J.Lourenço J.A.Pérez L.Ferrão
Talks about:type (5) compon (2) model (2) reconfigur (1) polymorph (1) intermedi (1) disciplin (1) transact (1) snapshot (1) calculus (1)
Person: João Costa Seco
DBLP: Seco:Jo=atilde=o_Costa
Contributed to:
2013
2013
2012
20112008200620052000Wrote 8 papers:
- POPL-2013-CairesS #behaviour
- The type discipline of behavioral separation (LC, JCS), pp. 275–286.
- SAC-2013-LourencoSM #concurrent
- Concurrent typed intermediate language (LML, JCS, FM), pp. 1587–1588.
- ECOOP-2012-DiasDSL #java #memory management #source code #transaction #verification
- Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.
- ESOP-2011-CairesPSVF #data access #type system
- Type-Based Access Control in Data-Centric Systems (LC, JAP, JCS, HTV, LF), pp. 136–155.
- ESOP-2008-VieiraCS #calculus
- The Conversation Calculus: A Model of Service-Oriented Computation (HTV, LC, JCS), pp. 269–283.
- ESOP-2006-SecoC #configuration management
- Types for Dynamic Reconfiguration (JCS, LC), pp. 214–229.
- ESOP-2005-SecoC #component #polymorphism #type system
- Subtyping First-Class Polymorphic Components (JCS, LC), pp. 342–356.
- ECOOP-2000-SecoC #component
- A Basic Model of Typed Components (JCS, LC), pp. 108–128.