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
    Publicações

    Publicações por Sandra Alves

    2021

    A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations

    Autores
    Alves, S; Iglésias, J;

    Publicação
    CoRR

    Abstract

    2021

    EVL: a typed functional language for event processing

    Autores
    Alves, S; Fernández, M; Ramos, M;

    Publicação
    CoRR

    Abstract

    2016

    The G-ACM Tool: using the Drools Rule Engine for Access Control Management

    Autores
    Sá, J; Alves, S; Broda, S;

    Publicação
    CoRR

    Abstract

    2023

    Quantitative Global Memory

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

    Publicação
    Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

    Abstract
    We show that recent approaches to static analysis based on quantitative typing systems can be extended to programming languages with global state. More precisely, we define a call-by-value language equipped with operations to access a global memory, together with a semantic model based on a (tight) multi-type system that captures exact measures of time and space related to evaluation of programs. We show that the type system is quantitatively sound and complete with respect to the operational semantics of the language. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

    FecharLer Abstract
    • 8
    • 8