Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

Actividades académicas:

  • Professora Auxiliar  DCC-FCUP
  • Investigadora no CRACS, INESC-TEC
  • Membro do Steering Committee da Conferência FSCD (Publicity Chair)
  • Membro do Steering Committee do Workshop Linearity
  • Membro do corpo editorial da revista MSCS 
  • Membro do corpo editorial da revista IFCoLog FLAP 
  • Membro executivo da IFCoLog
 Graud Académicos:
  • Doutoramento em Ciência de Computadores, Universidade do Porto (2007)
  • Mestrado em Informática, Universidade do Porto (2001)     
  • Licenciatura em Ciência de Computadores, Universidade do Porto (1999) 
 Tópicos de Investigação:
  • Linearidade, Lambda Calculus, Teoria de Tipos
  • Specificações Formais, Modelos de Controlo de Acesso

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Sandra Alves
  • Cluster

    Informática
  • Cargo

    Investigador Sénior
  • Desde

    01 março 2015
Publicações

2023

Quantitative Global Memory

Autores
Alves, S; Kesner, D; Ramos, M;

Publicação
CoRR

Abstract

2022

Report on women in logic 2020 & 2021

Autores
Alves, S; Kiefer, S; Sokolova, A;

Publicação
ACM SIGLOG News

Abstract

2022

Quantitative Weak Linearisation

Autores
Alves, S; Ventura, D;

Publicação
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Abstract
Weak linearisation was defined years ago through a static characterization of the intuitive notion of virtual redex, based on (legal) paths computed from the (syntactical) term tree. Weak-linear terms impose a linearity condition only on functions that are applied (consumed by reduction) and functions that are not applied (therefore persist in the term along any reduction) can be non-linear. This class of terms was shown to be strongly normalising with deciding typability in polynomial time. We revisit this notion through non-idempotent intersection types (also called quantitative types). By using an effective characterisation of minimal typings, based on the notion of tightness, we are able to distinguish between “consumed” and “persistent” term constructors, which allows us to define an expansion relation, between general ? -terms and weak-linear ? -terms, whilst preserving normal forms by reduction. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

2022

Structural Rules and Algebraic Properties of Intersection Types

Autores
Alves, S; Florido, M;

Publicação
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

Linear Rank Intersection Types

Autores
Reis, F; Alves, S; Florido, M;

Publicação
28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France

Abstract

Teses
supervisionadas

2022

Quantitative Types for Programming Languages

Autor
Jorge Miguel Soares Ramos

Instituição
UP-FCNAUP

2022

Linear Rank Quantitative Types

Autor
Fábio Daniel Martins Reis

Instituição
UP-FCUP

2021

Typed Languages for Events and their Applications

Autor
Jorge Miguel Soares Ramos

Instituição
UP-FCNAUP

2021

Typed Port-Graphs for Access Control Verification

Autor
Jorge Paulino Iglésias

Instituição
UP-FCUP

2021

PortGraphs for Access Control Verification

Autor
Jorge Paulino Iglésias

Instituição
UP-FCUP