Export 15 results:
Filters: Author is Vasconcelos, Vasco T [Clear All Filters]
Runtime checking Java code using ConGu, : International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008.
"Type safety without subject reduction for session types", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
"Dynamic interfaces", International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009.
"HeadREST: A Specification Language for RESTful APIs", TYPES 2018, pp. 80, 2018.
"Monitoring java code using ConGu", WADT 2008 Preliminary Proceedings, pp. 61, 2008.
"Fundamentals of session types", Information and Computation, vol. 217: Academic Press, pp. 52–70, 2012.
10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface, : OPEN PUBL ASSOC OPEN PUBL ASSOC, SYDNEY, 00000, AUSTRALIA, 2017.
"Session types for linear multithreaded functional programming", Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming: ACM, pp. 1–6, 2009.
"Type inference for deadlock detection in a multithreaded polymorphic typed assembly language", arXiv preprint arXiv:1002.0942, 2010.
"Deductive Verification of MPI Protocols", Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
Fundamentals of Session Types, Formal Methods for Web Services, : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, 2009.
"Fundamentals of session types", Formal Methods for Web Services: Springer Berlin Heidelberg, pp. 158–186, 2009.
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, : Department of Informatics, University of Lisbon, 2008.
"Sessions, from types to programming languages", Bulletin of the EATCS, no. 103, pp. 53–73, 2011.