Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
    Publications

    Publications by Sandra Alves

    2021

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

    Authors
    Alves, S; Iglésias, J;

    Publication
    CoRR

    Abstract

    2021

    EVL: a typed functional language for event processing

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

    Publication
    CoRR

    Abstract

    2016

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

    Authors
    Sá, J; Alves, S; Broda, S;

    Publication
    CoRR

    Abstract

    2023

    Quantitative Global Memory

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

    Publication
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023

    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.

    CloseRead Abstract
    • 8
    • 8