E-LIB Suche - Ergebnisse für: Servetto, Marco

1

Immutability and Encapsulation for Sound OO Information Flo..:

Runge, Tobias ; Servetto, Marco ; Potanin, Alex.
ACM Transactions on Programming Languages and Systems. 45 (2023) 1 - p. 1-35 , 2023

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

2

Using capabilities for strict runtime invariant checking:

Gariano, Isaac Oscar ; Servetto, Marco ; Potanin, Alex
Science of Computer Programming. 224 (2022) - p. 102878 , 2022

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

3

Information Flow Control-by-Construction for an Object-Orie..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Runge, Tobias ; Kittelmann, Alexander ; Servetto, Marco.. - p. 209-226 , 2022

Link: https://doi.org/10.1007/..

4

Coeffects for sharing and mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 870-898 , 2022

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

5

Using Functional Reactive Programming to Define Safe Actor ..:

, In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs,

Webster, Nick ; Servetto, Marco ; Homer, Michael - p. 4-10 , 2022

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

6

CallƐ: an effect system for method calls:

, In: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Gariano, Isaac Oscar ; Noble, James ; Servetto, Marco - p. 32-45 , 2019

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

7

Flexible recovery of uniqueness and immutability:

Giannini, Paola ; Servetto, Marco ; Zucca, Elena.
Theoretical Computer Science. 764 (2019) - p. 145-172 , 2019

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

8

Tracing sharing in an imperative pure calculus:

Giannini, Paola ; Richter, Tim ; Servetto, Marco.
Science of Computer Programming. 172 (2019) - p. 180-202 , 2019

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

9

A type and effect system for uniqueness and immutability:

, In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing,

Giannini, Paola ; Servetto, Marco ; Zucca, Elena - p. 1038-1045 , 2018

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

10

A type and effect system for sharing:

, In: Proceedings of the Symposium on Applied Computing,

Giannini, Paola ; Servetto, Marco ; Zucca, Elena - p. 1513-1515 , 2017

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

11

Tracing sharing in an imperative pure calculus : extende..:

, In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs,

Giannini, Paola ; Servetto, Marco ; Zucca, Elena - p. 1-6 , 2017

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

12

Coupling catch clauses with local declarations:

, In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs,

Giannini, Paola ; Servetto, Marco ; Zucca, Elena - p. 1-6 , 2016

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

13

An Imperative Pure Calculus:

Capriccioli, Andrea ; Servetto, Marco ; Zucca, Elena
Electronic Notes in Theoretical Computer Science. 322 (2016) - p. 87-102 , 2016

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

14

Classless Java:

Wang, Yanlin ; Zhang, Haoyuan ; Oliveira, Bruno C. d. S..
ACM SIGPLAN Notices. 52 (2016) 3 - p. 14-24 , 2016

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

15

Initialize-and-catch:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,

Giannini, Paola ; Servetto, Marco ; Zucca, Elena - p. 1819-1822 , 2016

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