BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Seco:Jo=atilde=o_Costa

Contributed to:

POPL 20132013
SAC 20132013
ECOOP 20122012
ESOP 20112011
ESOP 20082008
ESOP 20062006
ESOP 20052005
ECOOP 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.