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 - 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.

CloseRead Abstract