2022
Authors
Alves, S; Florido, M;
Publication
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
Abstract
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system; terms typed by non-idempotent intersections with terms typed in the affine and linear type systems; and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
2022
Authors
Barbosa, J; Florido, M; Costa, VS;
Publication
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022)
Abstract
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, which sees logic programs as formulas and its semantics as models. Here, we define a new operational semantics called TSLD-resolution, which stands for Typed SLD-resolution, where we include a value wrong, that corresponds to the detection of a type error at run-time. For this we define a new typed unification algorithm. Finally we prove the correctness of TSLD-resolution with respect to a typed declarative semantics.
2022
Authors
Silva, B; Ribeiro, M; Henriques, TS;
Publication
2022 E-Health and Bioengineering Conference (EHB)
Abstract
2022
Authors
Figueira, A; Vaz, B;
Publication
MATHEMATICS
Abstract
2022
Authors
Leal, JP; Primo, M;
Publication
Communications in Computer and Information Science
Abstract
2022
Authors
Queiros, RAPd; Pinto, M; Simões, A; Portela, CF;
Publication
Advances in Human and Social Aspects of Technology - Next-Generation Applications and Implementations of Gamification Systems
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.