4 citations · 4 across the 6 of their papers we have counts for
3 papers · 1 filter
Execution Time Program Verification With Tight Bounds
Ana Carolina Silva, Manuel Barbosa, Mario Florido
This paper presents a proof system for reasoning about execution time bounds for a core imperative programming language. Proof systems are defined for three different scenarios: ap…
Data Type Inference for Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automaticall…
Liquid Intersection Types
Mário Pereira, Sandra Alves, Mário Florido
We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise ty…