E-LIB Suche - Ergebnisse für: Stefanesco, Léo

1

Specifying and Verifying Persistent Libraries:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Stefanesco, Léo ; Raad, Azalea ; Vafeiadis, Viktor - p. 185-211 , 2024

2

Trillium: Higher-Order Concurrent and Distributed Separatio..:

Timany, Amin ; Gregersen, Simon Oddershede ; Stefanesco, Léo...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 241-272 , 2024

Link: https://doi.org/10.1145/..

3

Layered and object-based game semantics:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

Link: https://dl.acm.org/doi/1..

4

Layered and object-based game semantics:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

Link: https://doi.org/10.1145/..

5

Scala step-by-step: soundness for DOT with step-indexed log..:

Giarrusso, Paolo G. ; Stefanesco, Léo ; Timany, Amin..
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

6

Scala step-by-step: soundness for DOT with step-indexed log..:

Giarrusso, Paolo G. ; Stefanesco, Léo ; Timany, Amin..
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

7

Concurrent Separation Logic Meets Template Games:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Melliès, Paul-André ; Stefanesco, Léo - p. 742-755 , 2020

Link: https://dl.acm.org/doi/1..

8

An Asynchronous Soundness Theorem for Concurrent Separation..:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Melliès, Paul-André ; Stefanesco, Léo - p. 699-708 , 2018

Link: https://dl.acm.org/doi/1..

9

A Game Semantics of Concurrent Separation Logic:

Melliès, Paul-André ; Stefanesco, Léo
Electronic Notes in Theoretical Computer Science. 336 (2018) - p. 241-256 , 2018

Link: https://doi.org/10.1016/..

10

A logical relation for monadic encapsulation of state: prov..:

Timany, Amin ; Stefanesco, Léo ; Krogh-Jespersen, Morten.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-28 , 2017

Link: https://dl.acm.org/doi/1..

11

A logical relation for monadic encapsulation of state: prov..:

Timany, Amin ; Stefanesco, Léo ; Krogh-Jespersen, Morten.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-28 , 2017

Link: https://doi.org/10.1145/..

12

Specifying and Verifying Persistent Libraries:

Stefanesco, Léo ; Raad, Azalea ; Vafeiadis, Viktor
http://arxiv.org/abs/2306.01614. , 2023

Link: http://arxiv.org/abs/230..

13

Layered and Object-Based Game Semantics *:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3498703. , 2022

Link: https://hal.inria.fr/hal..

14

Layered and Object-Based Game Semantics *:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3498703. , 2022

Link: https://inria.hal.scienc..

15

Layered and Object-Based Game Semantics *:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3498703. , 2022

Link: https://inria.hal.scienc..