default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Servetto
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i10]Nick Webster, Marco Servetto, Michael Homer:
The Fearless Journey [Draft]. CoRR abs/2405.06233 (2024)- 2023
- [j10]Tobias Runge
, Marco Servetto, Alex Potanin, Ina Schaefer:
Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. 45(1): 3:1-3:35 (2023) - 2022
- [j9]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6(OOPSLA2): 870-898 (2022) - [j8]Isaac Oscar Gariano, Marco Servetto, Alex Potanin:
Using capabilities for strict runtime invariant checking. Sci. Comput. Program. 224: 102878 (2022) - [c28]Nick Webster, Marco Servetto, Michael Homer:
Using Functional Reactive Programming to Define Safe Actor Systems. FTfJP@ECOOP 2022: 4-10 - [c27]Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM 2022: 209-226 - [i9]Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR abs/2208.02672 (2022) - [i8]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for Sharing and Mutation. CoRR abs/2209.07439 (2022) - 2021
- [c26]Marco Servetto, Elena Zucca:
λ-Based Object-Oriented Programming (Pearl). ECOOP 2021: 21:1-21:16 - 2020
- [i7]Nick Webster, Marco Servetto:
Smoothly Navigating between Functional Reactive Programming and Actors. CoRR abs/2008.12592 (2020)
2010 – 2019
- 2019
- [j7]Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira:
Separating Use and Reuse to Improve Both. Art Sci. Eng. Program. 3(3): 12 (2019) - [j6]Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus. Sci. Comput. Program. 172: 180-202 (2019) - [j5]Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. 764: 145-172 (2019) - [c25]Paola Giannini, Marco Servetto, Elena Zucca:
Tracing and Preventing Sharing and Mutation. ICTCS 2019: 190-203 - [c24]Isaac Oscar Gariano, James Noble, Marco Servetto:
CallƐ: an effect system for method calls. Onward! 2019: 32-45 - [c23]Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora:
Iteratively Composing Statically Verified Traits. VPT@Programming 2019: 49-55 - [i6]Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira:
Separating Use and Reuse to Improve Both. CoRR abs/1902.00546 (2019) - [i5]Isaac Oscar Gariano, Marco Servetto, Alex Potanin:
Sound Invariant Checking Using Type Modifiers and Object Capabilities. CoRR abs/1902.10231 (2019) - [i4]Isaac Oscar Gariano, James Noble, Marco Servetto:
CallE: An Effect System for Method Calls. CoRR abs/1907.04934 (2019) - [i3]Isaac Oscar Gariano, Marco Servetto:
Mμl: The Power of Dynamic Multi-Methods. CoRR abs/1910.00709 (2019) - 2018
- [c22]Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto:
FHJ: A Formal Model for Hierarchical Dispatching and Overriding. ECOOP 2018: 20:1-20:30 - [c21]Paola Giannini, Marco Servetto, Elena Zucca:
A type and effect system for uniqueness and immutability. SAC 2018: 1038-1045 - [c20]Paola Giannini, Marco Servetto, Elena Zucca:
A Syntactic Model of Mutation and Aliasing. DCM/ITRS 2018: 39-55 - [i2]Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus. CoRR abs/1803.05838 (2018) - [i1]Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability (Extended Version). CoRR abs/1807.00137 (2018) - 2017
- [c19]Paola Giannini, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP 2017: 6:1-6:6 - [c18]Paola Giannini, Marco Servetto, Elena Zucca:
A type and effect system for sharing. SAC 2017: 1513-1515 - 2016
- [c17]Paola Giannini, Marco Servetto, Elena Zucca:
Coupling catch clauses with local declarations. FTfJP@ECOOP 2016: 6 - [c16]Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto:
Classless Java. GPCE 2016: 14-24 - [c15]Paola Giannini, Marco Servetto, Elena Zucca:
Types for Immutability and Aliasing Control. ICTCS 2016: 62-74 - [c14]Paola Giannini, Marco Servetto, Elena Zucca:
Runtime Checks as Nominal Types. ICTCS 2016: 75-87 - [c13]Paola Giannini, Marco Servetto, Elena Zucca:
Initialize-and-catch. SAC 2016: 1819-1822 - 2015
- [c12]Marco Servetto, Elena Zucca:
Aliasing Control in an Imperative Pure Calculus. APLAS 2015: 208-228 - [c11]Andrea Capriccioli, Marco Servetto, Elena Zucca:
An Imperative Pure Calculus. ICTCS 2015: 87-102 - 2014
- [j4]Marco Servetto, Elena Zucca:
A meta-circular language for active libraries. Sci. Comput. Program. 95: 219-253 (2014) - 2013
- [c10]Marco Servetto, Lindsay Groves:
True small-step reduction for imperative object oriented languages. FTfJP@ECOOP 2013: 1:1-1:7 - [c9]Marco Servetto, Julian Mackay, Alex Potanin, James Noble:
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. ECOOP 2013: 205-229 - [c8]Marco Servetto, Elena Zucca:
A meta-circular language for active libraries. PEPM 2013: 117-126 - 2012
- [j3]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. 214: 86-111 (2012) - [j2]Andrea Corradi, Marco Servetto, Elena Zucca:
DeepFJig - Modular composition of nested classes. J. Object Technol. 11(2): 1: 1-42 (2012) - 2011
- [j1]Giovanni Lagorio, Marco Servetto:
Strong exception-safety for checked and unchecked exceptions. J. Object Technol. 10: 1: 1-20 (2011) - [c7]Andrea Corradi, Marco Servetto, Elena Zucca:
DeepFJig: modular composition of nested classes. PPPJ 2011: 101-110 - 2010
- [c6]Giovanni Lagorio, Marco Servetto:
Strong exception-safety for Java-like languages. FTfJP@ECOOP 2010: 3:1-3:7 - [c5]Marco Servetto, Elena Zucca:
MetaFJig: a meta-circular composition language for Java-like classes. OOPSLA 2010: 464-483
2000 – 2009
- 2009
- [c4]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP 2009: 244-268 - [c3]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Customizable composition operators for Java-like classes. ICTCS 2009: 136-142 - [c2]Marco Servetto:
Strong exception-safety for Java-like languages. ICTCS 2009: 196-198 - [c1]Giovanni Lagorio, Marco Servetto, Elena Zucca:
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. FACS@FMWeek 2009: 161-177
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
