João Costa Seco
According to our database1, João Costa Seco authored at least 16 papers between 2000 and 2019.
Legend:Book In proceedings Article PhD thesis Other
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode.
Software Evolution with a Typeful Version Control System.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018
Capability-based localization of distributed and heterogeneous queries.
J. Funct. Program., 2017
Type-Safe Evolution of Web Services.
Proceedings of the 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, 2017
A common data manipulation language for nested data in heterogeneous environments.
Proceedings of the 15th Symposium on Database Programming Languages, 2015
Concurrent typed intermediate language.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
The type discipline of behavioral separation.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Verification of Snapshot Isolation in Transactional Memory Java Programs.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012
Type-Based Access Control in Data-Centric Systems.
Proceedings of the Programming Languages and Systems, 2011
Profiling of real-world web applications.
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010
Component J: A component-based programming language with dynamic reconfiguration.
Comput. Sci. Inf. Syst., 2008
The Conversation Calculus: A Model of Service-Oriented Computation.
Proceedings of the Programming Languages and Systems, 2008
Types for Dynamic Reconfiguration.
Proceedings of the Programming Languages and Systems, 2006
Subtyping First-Class Polymorphic Components.
Proceedings of the Programming Languages and Systems, 2005
A Basic Model of Typed Components.
Proceedings of the ECOOP 2000, 2000