Zobrazeno 1 - 10
of 1 081
pro vyhledávání: '"Alves,Sandra"'
Autor:
Alves, Sandra, Mackie, Ian
Publikováno v:
EPTCS 408, 2024
This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th International Conf
Externí odkaz:
http://arxiv.org/abs/2409.19298
We show how (well-established) type systems based on non-idempotent intersection types can be extended to characterize termination properties of functional programming languages with pattern matching features. To model such programming languages, we
Externí odkaz:
http://arxiv.org/abs/2408.11007
We show that recent approaches of 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,
Externí odkaz:
http://arxiv.org/abs/2303.08940
Non-idempotent intersection types provide quantitative information about typed programs, and have been used to obtain time and space complexity measures. Intersection type systems characterize termination, so restrictions need to be made in order to
Externí odkaz:
http://arxiv.org/abs/2211.17186
Autor:
Alves, Sandra, Florido, Mário
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 a
Externí odkaz:
http://arxiv.org/abs/2204.12376
Autor:
Alves, Sandra, Iglésias, Jorge
We design a graph-based framework for the visualisation and analysis of obligations in access control policies. We consider obligation policies in CBACO, the category-based access control model, which has been shown to subsume many of the most well k
Externí odkaz:
http://arxiv.org/abs/2111.00588
We define EVL, a minimal higher-order functional language to deal with generic events. The notion of generic event extends the well-known notion of event traditionally used in a variety of areas, such as database management, concurrency, reactive sys
Externí odkaz:
http://arxiv.org/abs/2109.08960
Autor:
Alves, Sandra, Ramos, Miguel
Publikováno v:
EPTCS 351, 2021, pp. 1-17
In this work, we develop a polymorphic record calculus with extensible records. Extensible records are records that can have new fields added to them, or preexisting fields removed from them. We also develop a static type system for this calculus and
Externí odkaz:
http://arxiv.org/abs/2108.06296
Autor:
George, Anaïs C., Schmitz, Isabelle, Rouvière, Florent, Alves, Sandra, Colsch, Benoit, Heinisch, Sabine, Afonso, Carlos, Fenaille, François, Loutelier-Bourhis, Corinne
Publikováno v:
In Analytica Chimica Acta 22 May 2024 1304
Autor:
Laurans, Maxime, Trinh, Kelly, Francesca, Kevin Dalla, Izzet, Guillaume, Alves, Sandra, Derat, Etienne, Humblot, Vincent, Pluchery, Olivier, Vuillaume, Dominique, Lenfant, Stéphane, Volatron, Florence, Proust, Anna
Publikováno v:
ACS Applied Materials and Interfaces 12, 48109-48123 (2020)
Immobilization of polyoxometalates (POMs) onto oxides is relevant to many applications in the fields of catalysis, energy conversion/storage or molecular electronics. Optimization and understanding the molecule/oxide interface is crucial to rationall
Externí odkaz:
http://arxiv.org/abs/2011.08953