L
Luís Caires
Researcher at Universidade Nova de Lisboa
Publications - 79
Citations - 3186
Luís Caires is an academic researcher from Universidade Nova de Lisboa. The author has contributed to research in topics: Concurrency & Session (computer science). The author has an hindex of 28, co-authored 78 publications receiving 2965 citations. Previous affiliations of Luís Caires include Citigroup & University of Lisbon.
Papers
More filters
Proceedings ArticleDOI
Substructural typestates
TL;DR: This paper shows how key typestate concepts can be precisely captured by a substructural type-and-effect system, exploiting ideas from linear and separation logic and provides new insights on how they naturally fit together and complement one another.
Book ChapterDOI
Types for dynamic reconfiguration
João Costa Seco,Luís Caires +1 more
TL;DR: In this article, a core language combining computational and architectural primitives is defined, and static typing may be used to ensure safety properties of component composition and dynamic reconfiguration in object-based systems.
A Model of Service Oriented Computation
TL;DR: This work proposes a motivation from “first principles” of a small set of abstractions for expressing and analyzing service based systems, and instantiates the model by extending of a fragment of the p-calculus, and shows that behavioral equivalences are congruences for all operators.
Logic-Based Domain-Aware Session Types
TL;DR: A session-typed process framework for domain-aware communication-centric systems based on a CurryHoward interpretation of linear logic, here augmented with nominals from hybrid logic indicating domains, to show that domain-related properties of concrete programs are satisfied.
Book ChapterDOI
SLWV - A Theorem Prover for Logic Programming
TL;DR: The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing and shows its soundness and completeness by establishing a one-to-one mapping between SLWV and SL derivations which also clarifies the motivation and the method.