default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/ftfjp:"
download as .bib file
@inproceedings{DBLP:conf/ftfjp/0001MWFH24,
author = {James Noble and
Julian Mackay and
Tobias Wrigstad and
Andrew Fawcet and
Michael Homer},
editor = {Luca Di Stefano},
title = {Dafny vs. Dala: Experience with Mechanising Language Design},
booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
pages = {37--43},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721.3686228},
doi = {10.1145/3678721.3686228},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/0001MWFH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/ArceriMDNOZ24,
author = {Vincenzo Arceri and
Saverio Mattia Merenda and
Greta Dolcetti and
Luca Negrini and
Luca Olivieri and
Enea Zaffanella},
editor = {Luca Di Stefano},
title = {Towards a Sound Construction of {EVM} Bytecode Control-Flow Graphs},
booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
pages = {11--16},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721.3686227},
doi = {10.1145/3678721.3686227},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/ArceriMDNOZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/Bohler0M24,
author = {Timon B{\"{o}}hler and
David Richter and
Mira Mezini},
editor = {Luca Di Stefano},
title = {Incrementalizing Polynomial Functors},
booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
pages = {44--49},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721.3686231},
doi = {10.1145/3678721.3686231},
timestamp = {Tue, 22 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/Bohler0M24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/GianniniD24,
author = {Paola Giannini and
Giulio Duso},
editor = {Luca Di Stefano},
title = {Coeffects for MiniJava: Cf-Mj},
booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
pages = {30--36},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721.3686232},
doi = {10.1145/3678721.3686232},
timestamp = {Tue, 22 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/GianniniD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/MacConvilleM24,
author = {Dara MacConville and
Rosemary Monahan},
editor = {Luca Di Stefano},
title = {Towards a Model Checker for Python: pymodcheck},
booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
pages = {1--4},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721.3686233},
doi = {10.1145/3678721.3686233},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/MacConvilleM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/MarxE24,
author = {Stefan Marx and
Sebastian Erdweg},
editor = {Luca Di Stefano},
title = {Abstract Interpretation of Java Bytecode in Sturdy},
booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
pages = {17--22},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721.3686226},
doi = {10.1145/3678721.3686226},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/MarxE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/RehmanO24,
author = {Baber Rehman and
Bruno C. d. S. Oliveira},
editor = {Luca Di Stefano},
title = {Disjoint Polymorphism with Intersection and Union Types},
booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
pages = {23--29},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721.3686230},
doi = {10.1145/3678721.3686230},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/RehmanO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/Zanatta0LNCW24,
author = {Giacomo Zanatta and
Pietro Ferrara and
Teodors Lisovenko and
Luca Negrini and
Gianluca Caiazza and
Ruffin White},
editor = {Luca Di Stefano},
title = {Sound Static Analysis for Microservices: Utopia? {A} Preliminary Experience
with LiSA},
booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
pages = {5--10},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721.3686229},
doi = {10.1145/3678721.3686229},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/Zanatta0LNCW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftfjp/2024,
editor = {Luca Di Stefano},
title = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3678721},
doi = {10.1145/3678721},
isbn = {979-8-4007-1111-4},
timestamp = {Thu, 10 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/Ancona0M23,
author = {Davide Ancona and
Angelo Ferrando and
Viviana Mascardi},
editor = {Aaron Tomb},
title = {Runtime Verification of Hash Code in Mutable Classes},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {25--31},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606452},
doi = {10.1145/3605156.3606452},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/Ancona0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/AngeloBDF23,
author = {Pedro {\^{A}}ngelo and
Viviana Bono and
Mariangiola Dezani{-}Ciancaglini and
M{\'{a}}rio Florido},
editor = {Aaron Tomb},
title = {Gradual Guarantee for {FJ} with lambda-Expressions},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {32--38},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606453},
doi = {10.1145/3605156.3606453},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/AngeloBDF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/BohlerRM23,
author = {Timon B{\"{o}}hler and
David Richter and
Mira Mezini},
editor = {Aaron Tomb},
title = {Using Rewrite Strategies for Efficient Functional Automatic Differentiation},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {51--57},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606456},
doi = {10.1145/3605156.3606456},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/BohlerRM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/CardenasLFC23,
author = {Sergio Cardenas and
Paul Leger and
Hiroaki Fukuda and
Nicol{\'{a}}s Cardozo},
editor = {Aaron Tomb},
title = {Points-to Analysis for Context-Oriented JavaScript Programs},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {18--24},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606451},
doi = {10.1145/3605156.3606451},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/CardenasLFC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/LeeSL23,
author = {Edward Lee and
Kavin Satheeskumar and
Ondrej Lhot{\'{a}}k},
editor = {Aaron Tomb},
title = {Dependency-Free Capture Tracking},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {39--43},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606454},
doi = {10.1145/3605156.3606454},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/LeeSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/LoulergueP23,
author = {Fr{\'{e}}d{\'{e}}ric Loulergue and
Jolan Philippe},
editor = {Aaron Tomb},
title = {Towards Verified Scalable Parallel Computing with Coq and Spark},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {11--17},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606450},
doi = {10.1145/3605156.3606450},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/LoulergueP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/LuL23,
author = {Kenny Zhuo Ming Lu and
Daniel Yu Hian Low},
editor = {Aaron Tomb},
title = {Constructing Structured {SSA} from {FJ}},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {58--64},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606457},
doi = {10.1145/3605156.3606457},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/LuL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/MiljakPS23,
author = {Luka Miljak and
Casper Bach Poulsen and
Flip van Spaendonck},
editor = {Aaron Tomb},
title = {Verifying Well-Typedness Preservation of Refactorings using Scope
Graphs},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {44--50},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606455},
doi = {10.1145/3605156.3606455},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/MiljakPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/Mommen023,
author = {Niels Mommen and
Bart Jacobs},
editor = {Aaron Tomb},
title = {Verifying {C++} Dynamic Binding},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {1--7},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606448},
doi = {10.1145/3605156.3606448},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/Mommen023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/Rehman23,
author = {Baber Rehman},
editor = {Aaron Tomb},
title = {Correctness-by-Construction Meets Refinement Types},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {8--10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606449},
doi = {10.1145/3605156.3606449},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/Rehman23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftfjp/2023,
editor = {Aaron Tomb},
title = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156},
doi = {10.1145/3605156},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/0001MW22,
author = {James Noble and
Julian Mackay and
Tobias Wrigstad},
editor = {Henrique Reb{\^{e}}lo},
title = {Rusty Links in Local Chains{\unicode{10033}}},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {1--3},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611097},
doi = {10.1145/3611096.3611097},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/0001MW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/AmatoMS22,
author = {Gianluca Amato and
Maria Chiara Meo and
Francesca Scozzari},
editor = {Henrique Reb{\^{e}}lo},
title = {On the Need for a Common {API} for Abstract Domains of Object-Oriented
Programs},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {15--17},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611100},
doi = {10.1145/3611096.3611100},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/AmatoMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/Cok22,
author = {David R. Cok},
editor = {Henrique Reb{\^{e}}lo},
title = {Documentation and Educational Materials for a 2nd Edition of the Java
Modeling Language},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {26--28},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611102},
doi = {10.1145/3611096.3611102},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/Cok22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/KudasovS22,
author = {Nikolai Kudasov and
Violetta Sim},
editor = {Henrique Reb{\^{e}}lo},
title = {Formalizing {\(\phi\)}-Calculus: {A} Purely Object-Oriented Calculus
of Decorated Objects},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {29--36},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611103},
doi = {10.1145/3611096.3611103},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/KudasovS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/NilizadehLC22,
author = {Amirfarhad Nilizadeh and
Gary T. Leavens and
David R. Cok},
editor = {Henrique Reb{\^{e}}lo},
title = {Automated Reasoning Repair},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {11--14},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611099},
doi = {10.1145/3611096.3611099},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/NilizadehLC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/OeyenKM22,
author = {Bjarno Oeyen and
Joeri De Koster and
Wolfgang De Meuter},
editor = {Henrique Reb{\^{e}}lo},
title = {A Graph-Based Formal Semantics of Reactive Programming from First
Principles},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {18--25},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611101},
doi = {10.1145/3611096.3611101},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/OeyenKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/WebsterSH22,
author = {Nick Webster and
Marco Servetto and
Michael Homer},
editor = {Henrique Reb{\^{e}}lo},
title = {Using Functional Reactive Programming to Define Safe Actor Systems},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {4--10},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611098},
doi = {10.1145/3611096.3611098},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftfjp/WebsterSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftfjp/2022,
editor = {Henrique Reb{\^{e}}lo},
title = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096},
doi = {10.1145/3611096},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Cok21,
author = {David R. Cok},
editor = {David R. Cok},
title = {{JML} and OpenJML for Java 16},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {65--67},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468417},
doi = {10.1145/3464971.3468417},
timestamp = {Thu, 03 Feb 2022 13:54:50 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Cok21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FarrellRM21,
author = {Marie Farrell and
Conor Reynolds and
Rosemary Monahan},
editor = {David R. Cok},
title = {Using dafny to solve the VerifyThis 2021 challenges},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {32--38},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468422},
doi = {10.1145/3464971.3468422},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/FarrellRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GolovanovHJK21,
author = {Iaroslav Golovanov and
Hans H{\"{u}}ttel and
Mathias Jakobsen and
Mikkel Kettunen},
editor = {David R. Cok},
title = {Behavioural separation with parallel usages},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {51--58},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468424},
doi = {10.1145/3464971.3468424},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GolovanovHJK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MonteiroSWDH21,
author = {Steven Monteiro and
Erikas Sokolovas and
Ellen Wittingen and
Tom van Dijk and
Marieke Huisman},
editor = {David R. Cok},
title = {IntelliJML: a {JML} plugin for IntelliJ {IDEA}},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {39--42},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468423},
doi = {10.1145/3464971.3468423},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MonteiroSWDH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OrtonM21,
author = {Indigo Orton and
Alan Mycroft},
editor = {David R. Cok},
title = {Source code patches from dynamic analysis},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {1--8},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468416},
doi = {10.1145/3464971.3468416},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OrtonM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OrtonM21a,
author = {Indigo Orton and
Alan Mycroft},
editor = {David R. Cok},
title = {Refactoring traces to identify concurrency improvements},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {16--23},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468420},
doi = {10.1145/3464971.3468420},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OrtonM21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PfeiferSU21,
author = {Wolfram Pfeifer and
Jonas Schiffl and
Mattias Ulbrich},
editor = {David R. Cok},
title = {Reconstructing z3 proofs in KeY: there and back again},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {24--31},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468421},
doi = {10.1145/3464971.3468421},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PfeiferSU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PuccettiCG21,
author = {Armand Puccetti and
Ga{\"{e}}l de Chalendar and
Pierre{-}Yves Gibello},
editor = {David R. Cok},
title = {Combining formal and machine learning techniques for the generation
of {JML} specifications},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {59--64},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468425},
doi = {10.1145/3464971.3468425},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PuccettiCG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchoppX21,
author = {Ulrich Sch{\"{o}}pp and
Chuangjie Xu},
editor = {David R. Cok},
title = {A generic type system for featherweight Java},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {9--15},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468419},
doi = {10.1145/3464971.3468419},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SchoppX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/XingCD21,
author = {Weitian Xing and
Yuanhui Cheng and
Werner Dietl},
editor = {David R. Cok},
title = {Ensuring correct cryptographic algorithm and provider usage at compile
time},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {43--50},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468418},
doi = {10.1145/3464971.3468418},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/XingCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2021ftfjp,
editor = {David R. Cok},
title = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971},
doi = {10.1145/3464971},
isbn = {978-1-4503-8543-5},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2021ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BarbieriDZ20,
author = {Pietro Barbieri and
Francesco Dagnino and
Elena Zucca},
editor = {Wytse Oortwijn},
title = {An inductive abstract semantics for coFJ},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {4--9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3428342},
doi = {10.1145/3427761.3428342},
timestamp = {Thu, 04 Nov 2021 14:41:50 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BarbieriDZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BoerH20,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep},
editor = {Wytse Oortwijn},
title = {History-based specification and verification of Java collections in
KeY (keynote)},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {2--3},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3432349},
doi = {10.1145/3427761.3432349},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BoerH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HuismanW20,
author = {Marieke Huisman and
Anton Wijs},
editor = {Wytse Oortwijn},
title = {Towards verified construction of correct and optimised {GPU} software},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {10--14},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3428344},
doi = {10.1145/3427761.3428344},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/HuismanW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KohlerMMS20,
author = {Mirko K{\"{o}}hler and
Nafise Eskandani Masoule and
Alessandro Margara and
Guido Salvaneschi},
editor = {Wytse Oortwijn},
title = {ConSysT: tunable, safe consistency meets object-oriented programming},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {15--17},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3428346},
doi = {10.1145/3427761.3428346},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KohlerMMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ReinhardT020,
author = {Tobias Reinhard and
Amin Timany and
Bart Jacobs},
editor = {Wytse Oortwijn},
title = {A separation logic to verify termination of busy-waiting for abrupt
program exit},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {26--32},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3428345},
doi = {10.1145/3427761.3428345},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ReinhardT020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SantosJM20,
author = {Joanna C. S. Santos and
Reese A. Jones and
Mehdi Mirakhorli},
editor = {Wytse Oortwijn},
title = {Salsa: static analysis of serialization features},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {18--25},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3428343},
doi = {10.1145/3427761.3428343},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SantosJM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Summers20,
author = {Alexander J. Summers},
editor = {Wytse Oortwijn},
title = {Prusti: deductive verification for Rust (keynote)},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3432348},
doi = {10.1145/3427761.3432348},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Summers20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2020ftfjp,
editor = {Wytse Oortwijn},
title = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761},
doi = {10.1145/3427761},
isbn = {978-1-4503-8186-4},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2020ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Belyakova19,
author = {Julia Belyakova},
editor = {Toby Murray and
Gidon Ernst},
title = {Decidable tag-based semantic subtyping for nominal types, tuples,
and unions},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {3:1--3:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341115},
doi = {10.1145/3340672.3341115},
timestamp = {Mon, 05 Feb 2024 20:31:47 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Belyakova19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DalvandiD19,
author = {Mohammadsadegh Dalvandi and
Brijesh Dongol},
editor = {Toby Murray and
Gidon Ernst},
title = {Towards deductive verification of {C11} programs with Event-B and
ProB},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341117},
doi = {10.1145/3340672.3341117},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DalvandiD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Lester19,
author = {Martin Mariusz Lester},
editor = {Toby Murray and
Gidon Ernst},
title = {Analysis of MiniJava programs via translation to {ML}},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {6:1--6:3},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341119},
doi = {10.1145/3340672.3341119},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Lester19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Lin19,
author = {Fangzhen Lin},
editor = {Toby Murray and
Gidon Ernst},
title = {Translating classes to first-order logic: an example},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {7:1--7:3},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341120},
doi = {10.1145/3340672.3341120},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Lin19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Owens19,
author = {Scott Owens},
editor = {Toby Murray and
Gidon Ernst},
title = {Building trustworthy software with CakeML},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {2:1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341114},
doi = {10.1145/3340672.3341114},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Owens19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PenninckxT019,
author = {Willem Penninckx and
Amin Timany and
Bart Jacobs},
editor = {Toby Murray and
Gidon Ernst},
title = {Specifying {I/O} using abstract nested hoare triples in separation
logic},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341118},
doi = {10.1145/3340672.3341118},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PenninckxT019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Rummer19,
author = {Philipp R{\"{u}}mmer},
editor = {Toby Murray and
Gidon Ernst},
title = {JayHorn: a Java model checker},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {1:1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341113},
doi = {10.1145/3340672.3341113},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Rummer19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2019ftfjp,
editor = {Toby Murray and
Gidon Ernst},
title = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672},
doi = {10.1145/3340672},
isbn = {978-1-4503-6864-3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2019ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AbdelGawad17,
author = {Moez A. AbdelGawad},
title = {Towards a Java Subtyping Operad},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104043},
doi = {10.1145/3103111.3104043},
timestamp = {Mon, 18 Jan 2021 18:25:06 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AbdelGawad17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AmraniS17,
author = {Moussa Amrani and
Pierre{-}Yves Schobbens},
title = {Formal Analysis of Object-Oriented Mograms},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104042},
doi = {10.1145/3103111.3104042},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AmraniS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaFFM17,
author = {Davide Ancona and
Angelo Ferrando and
Luca Franceschini and
Viviana Mascardi},
title = {Parametric Trace Expressions for Runtime Verification of Java-Like
Programs},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {10:1--10:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104037},
doi = {10.1145/3103111.3104037},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaFFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AsavoaeNRS17,
author = {Irina Mariuca Asavoae and
Hoang Nga Nguyen and
Markus Roggenbach and
Siraj Ahmed Shaikh},
title = {Software Model Checking: {A} Promising Approach to Verify Mobile App
Security: {A} Position Paper},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {1:1--1:2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104040},
doi = {10.1145/3103111.3104040},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AsavoaeNRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BakounyCM17,
author = {Youssef El Bakouny and
Tristan Crolard and
Dani Mezher},
title = {A Coq-based synthesis of Scala programs which are correct-by-construction},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {4:1--4:2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104041},
doi = {10.1145/3103111.3104041},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BakounyCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Belyakova17,
author = {Julia Belyakova},
title = {Generic Approach to Certified Static Checking of Module-like Constructs},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {5:1--5:2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104045},
doi = {10.1145/3103111.3104045},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Belyakova17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GianniniSZ17,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
title = {Tracing sharing in an imperative pure calculus: extended abstract},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {6:1--6:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104038},
doi = {10.1145/3103111.3104038},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GianniniSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MargaraS17,
author = {Alessandro Margara and
Guido Salvaneschi},
title = {Consistency Types for Safe and Efficient Distributed Programming},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {8:1--8:2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104044},
doi = {10.1145/3103111.3104044},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MargaraS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RapoportL17,
author = {Marianna Rapoport and
Ondrej Lhot{\'{a}}k},
title = {Mutable WadlerFest {DOT}},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104036},
doi = {10.1145/3103111.3104036},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RapoportL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RhodesFF17,
author = {Dustin Rhodes and
Cormac Flanagan and
Stephen N. Freund},
title = {Correctness of Partial Escape Analysis for Multithreading Optimization},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {9:1--9:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104039},
doi = {10.1145/3103111.3104039},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RhodesFF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2017ftfjp,
title = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111},
doi = {10.1145/3103111},
isbn = {978-1-4503-5098-3},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2017ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaC16,
author = {Davide Ancona and
Andrea Corradi},
editor = {Vladimir Klebanov},
title = {A formal account of {SSA} in Java-like languages},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {2},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955813},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaDZ16,
author = {Davide Ancona and
Francesco Dagnino and
Elena Zucca},
editor = {Vladimir Klebanov},
title = {Towards a model of corecursion with default},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {9},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955820},
timestamp = {Mon, 28 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaDZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AotaniL16,
author = {Tomoyuki Aotani and
Gary T. Leavens},
editor = {Vladimir Klebanov},
title = {Towards Modular Reasoning for Context-Oriented Programs},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {8},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955819},
timestamp = {Mon, 28 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AotaniL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CabonCP16,
author = {Gurvan Cabon and
David Cachera and
David Pichardie},
editor = {Vladimir Klebanov},
title = {An Extended Buffered Memory Model With Full Reorderings},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {5},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955816},
timestamp = {Mon, 28 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/CabonCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DietrichHS16,
author = {Jens Dietrich and
Nicholas Hollingum and
Bernhard Scholz},
editor = {Vladimir Klebanov},
title = {A Note on the Soundness of Difference Propagation},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {3},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955814},
timestamp = {Mon, 18 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DietrichHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouNMM16,
author = {Sophia Drossopoulou and
James Noble and
Mark S. Miller and
Toby C. Murray},
editor = {Vladimir Klebanov},
title = {Permission and Authority Revisited towards a formalisation},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {10},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955821},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouNMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GianniniSZ16,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Vladimir Klebanov},
title = {Coupling catch clauses with local declarations},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {6},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955817},
timestamp = {Mon, 28 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GianniniSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HoylandH16,
author = {Jonathan Hoyland and
Matthew Hague},
editor = {Vladimir Klebanov},
title = {Generating Concurrency Checks Automatically},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {4},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955815},
timestamp = {Mon, 28 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/HoylandH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Jacobs16,
author = {Bart Jacobs},
editor = {Vladimir Klebanov},
title = {Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {7},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955818},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Jacobs16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JonesP16,
author = {Timothy Jones and
David J. Pearce},
editor = {Vladimir Klebanov},
title = {A Mechanical Soundness Proof for Subtyping Over Recursive Types},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {1},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955812},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/JonesP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2016ftfjp,
editor = {Vladimir Klebanov},
title = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2955811},
doi = {10.1145/2955811},
isbn = {978-1-4503-4439-5},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2016ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/000215,
author = {Bart Jacobs},
editor = {Rosemary Monahan},
title = {Provably live exception handling},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {7:1--7:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786543},
doi = {10.1145/2786536.2786543},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/000215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AhmadiLN15,
author = {Reza Ahmadi and
K. Rustan M. Leino and
Jyrki Nummenmaa},
editor = {Rosemary Monahan},
title = {Automatic verification of Dafny programs with traits},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {4:1--4:5},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786542},
doi = {10.1145/2786536.2786542},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AhmadiLN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaF15,
author = {Davide Ancona and
Federico Frassetto},
editor = {Rosemary Monahan},
title = {A three-valued type system for true positives detection in Java-like
languages},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786539},
doi = {10.1145/2786536.2786539},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BaoLE15,
author = {Yuyan Bao and
Gary T. Leavens and
Gidon Ernst},
editor = {Rosemary Monahan},
title = {Conditional effects in fine-grained region logic},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786537},
doi = {10.1145/2786536.2786537},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BaoLE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BeckertKU15,
author = {Bernhard Beckert and
Vladimir Klebanov and
Mattias Ulbrich},
editor = {Rosemary Monahan},
title = {Regression verification for Java using a secure information flow calculus},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {6:1--6:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786544},
doi = {10.1145/2786536.2786544},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BeckertKU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CamposV15,
author = {Joana Campos and
Vasco T. Vasconcelos},
editor = {Rosemary Monahan},
title = {Imperative objects with dependent types},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786538},
doi = {10.1145/2786536.2786538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/CamposV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GerakiosFS15,
author = {Prodromos Gerakios and
George Fourtounis and
Yannis Smaragdakis},
editor = {Rosemary Monahan},
title = {Foo: a minimal modern {OO} calculus},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {3:1--3:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786540},
doi = {10.1145/2786536.2786540},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GerakiosFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KandzioraHBZ15,
author = {Jorne Kandziora and
Marieke Huisman and
Christoph Bockisch and
Marina Zaharieva{-}Stojanovski},
editor = {Rosemary Monahan},
title = {Run-time assertion checking of {JML} annotations in multithreaded
applications with e-OpenJML},
booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
pages = {8:1--8:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536.2786541},
doi = {10.1145/2786536.2786541},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KandzioraHBZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015ftfjp,
editor = {Rosemary Monahan},
title = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786536},
doi = {10.1145/2786536},
isbn = {978-1-4503-3656-7},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2015ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Ancona14,
author = {Davide Ancona},
editor = {David J. Pearce},
title = {How to prove type soundness of Java-like languages without forgoing
big-step semantics},
booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635631.2635846},
doi = {10.1145/2635631.2635846},
timestamp = {Wed, 26 May 2021 08:40:06 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Ancona14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Boyland0SS14,
author = {John Tang Boyland and
Peter M{\"{u}}ller and
Malte Schwerhoff and
Alexander J. Summers},
editor = {David J. Pearce},
title = {Constraint Semantics for Abstract Read Permissions},
booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635631.2635847},
doi = {10.1145/2635631.2635847},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Boyland0SS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JonesN14,
author = {Timothy Jones and
James Noble},
editor = {David J. Pearce},
title = {Tinygrace: {A} Simple, Safe, and Structurally Typed Language},
booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635631.2635848},
doi = {10.1145/2635631.2635848},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/JonesN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/NobleD14,
author = {James Noble and
Sophia Drossopoulou},
editor = {David J. Pearce},
title = {Rationally Reconstructing the Escrow Example},
booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635631.2635850},
doi = {10.1145/2635631.2635850},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/NobleD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Zaharieva-Stojanovski14,
author = {Marina Zaharieva{-}Stojanovski and
Marieke Huisman and
Stefan Blom},
editor = {David J. Pearce},
title = {Verifying Functional Behaviour of Concurrent Programs},
booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635631.2635849},
doi = {10.1145/2635631.2635849},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Zaharieva-Stojanovski14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2014ftfjp,
editor = {David J. Pearce},
title = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635631},
doi = {10.1145/2635631},
isbn = {978-1-4503-2866-1},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2014ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaZ13,
author = {Davide Ancona and
Elena Zucca},
editor = {Werner Dietl},
title = {Safe corecursion in coFJ},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489807},
doi = {10.1145/2489804.2489807},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouN13,
author = {Sophia Drossopoulou and
James Noble},
editor = {Werner Dietl},
title = {The need for capability policies},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489811},
doi = {10.1145/2489804.2489811},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MilanovaH13,
author = {Ana L. Milanova and
Wei Huang},
editor = {Werner Dietl},
title = {Composing polymorphic information flow systems with reference immutability},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489809},
doi = {10.1145/2489804.2489809},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MilanovaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Pearce13,
author = {David J. Pearce},
editor = {Werner Dietl},
title = {A calculus for constraint-based flow typing},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {7:1--7:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489810},
doi = {10.1145/2489804.2489810},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Pearce13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RytzAO13,
author = {Lukas Rytz and
Nada Amin and
Martin Odersky},
editor = {Werner Dietl},
title = {A flow-insensitive, modular effect system for purity},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489808},
doi = {10.1145/2489804.2489808},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RytzAO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ServettoG13,
author = {Marco Servetto and
Lindsay Groves},
editor = {Werner Dietl},
title = {True small-step reduction for imperative object oriented languages},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489805},
doi = {10.1145/2489804.2489805},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ServettoG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZhangBHT13,
author = {Yan Zhang and
B{\'{e}}atrice B{\'{e}}rard and
Lom{-}Messan Hillah and
Yann Thierry{-}Mieg},
editor = {Werner Dietl},
title = {Semi-automatic controller design of Java-like models},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489806},
doi = {10.1145/2489804.2489806},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ZhangBHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2013ftfjp,
editor = {Werner Dietl},
title = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804},
doi = {10.1145/2489804},
isbn = {978-1-4503-2042-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2013ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaZ12,
author = {Davide Ancona and
Elena Zucca},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Corecursive Featherweight Java},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {3--10},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318205},
doi = {10.1145/2318202.2318205},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Cutsem12,
author = {Tom Van Cutsem},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {AmbientTalk: modern actors for modern networks},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318204},
doi = {10.1145/2318202.2318204},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Cutsem12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DietlDEMWCPP12,
author = {Werner Dietl and
Stephanie Dietzel and
Michael D. Ernst and
Nathaniel Mote and
Brian Walker and
Seth Cooper and
Timothy Pavlik and
Zoran Popovic},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Verification games: making verification fun},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {42--49},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318210},
doi = {10.1145/2318202.2318210},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DietlDEMWCPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HorsfallCR12,
author = {Ben Horsfall and
Nathaniel Charlton and
Bernhard Reus},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Verifying the reflective visitor pattern},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {27--34},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318208},
doi = {10.1145/2318202.2318208},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HorsfallCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MackayMPGC12,
author = {Julian Mackay and
Hannes Mehnert and
Alex Potanin and
Lindsay Groves and
Nicholas Cameron},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Encoding Featherweight Java with assignment and immutability using
the Coq proof assistant},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {11--19},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318206},
doi = {10.1145/2318202.2318206},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MackayMPGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Palsberg12,
author = {Jens Palsberg},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Featherweight {X10:} a core calculus for async-finish parallelism},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {1},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318203},
doi = {10.1145/2318202.2318203},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Palsberg12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SpishakDE12,
author = {Eric Spishak and
Werner Dietl and
Michael D. Ernst},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {A type system for regular expressions},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {20--26},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318207},
doi = {10.1145/2318202.2318207},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SpishakDE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WelschP12,
author = {Yannick Welsch and
Arnd Poetzsch{-}Heffter},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Verifying backwards compatibility of object-oriented libraries using
Boogie},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {35--41},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318209},
doi = {10.1145/2318202.2318209},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/WelschP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2012ftfjp,
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202},
doi = {10.1145/2318202},
isbn = {978-1-4503-1272-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2012ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Ancona11,
author = {Davide Ancona},
editor = {Stephen N. Freund},
title = {Coinductive big-step operational semantics for type soundness of Java-like
languages},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076679},
doi = {10.1145/2076674.2076679},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Ancona11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BalintM11,
author = {Mihai Balint and
Marius Minea},
editor = {Stephen N. Freund},
title = {Automatic inference of model fields and their representation},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {9:1--9:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076683},
doi = {10.1145/2076674.2076683},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BalintM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DamianiDJS11,
author = {Ferruccio Damiani and
Johan Dovland and
Einar Broch Johnsen and
Ina Schaefer},
editor = {Stephen N. Freund},
title = {Verifying traits: a proof system for fine-grained reuse},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {8:1--8:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076682},
doi = {10.1145/2076674.2076682},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DamianiDJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HeuleL0S11,
author = {Stefan Heule and
K. Rustan M. Leino and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Stephen N. Freund},
title = {Fractional permissions without the fractions},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076675},
doi = {10.1145/2076674.2076675},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/HeuleL0S11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Nystrom11,
author = {Nathaniel Nystrom},
editor = {Stephen N. Freund},
title = {Harmless compiler plugins},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076678},
doi = {10.1145/2076674.2076678},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Nystrom11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RaadD11,
author = {Azalea Raad and
Sophia Drossopoulou},
editor = {Stephen N. Freund},
title = {A sip of the Chalice},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {2:1--2:30},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076676},
doi = {10.1145/2076674.2076676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RaadD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RebeloCLLHMC11,
author = {Henrique Reb{\^{e}}lo and
Roberta Coelho and
Ricardo M. F. Lima and
Gary T. Leavens and
Marieke Huisman and
Alexandre Mota and
Fernando Castor},
editor = {Stephen N. Freund},
title = {On the interplay of exception handling and design by contract: an
aspect-oriented recovery approach},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076681},
doi = {10.1145/2076674.2076681},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RebeloCLLHMC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SamimiR11,
author = {Hesam Samimi and
Kaushik Rajan},
editor = {Stephen N. Freund},
title = {Specification-based sketching with Sketch},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076677},
doi = {10.1145/2076674.2076677},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SamimiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Winther11,
author = {Johnni Winther},
editor = {Stephen N. Freund},
title = {Guarded type promotion: eliminating redundant casts in Java},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {6:1--6:8},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076680},
doi = {10.1145/2076674.2076680},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Winther11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2011ftfjp,
editor = {Stephen N. Freund},
title = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674},
doi = {10.1145/2076674},
isbn = {978-1-4503-0893-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2011ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaL10,
author = {Davide Ancona and
Giovanni Lagorio},
title = {Complete coinductive subtyping for abstract compilation of object-oriented
languages},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924521},
doi = {10.1145/1924520.1924521},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BoerGV10,
author = {Frank S. de Boer and
Stijn de Gouw and
Jurgen J. Vinju},
title = {Prototyping a tool environment for run-time assertion checking in
{JML} with communication histories},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924526},
doi = {10.1145/1924520.1924526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BoerGV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JensenBS10,
author = {Jonas Braband Jensen and
Lars Birkedal and
Peter Sestoft},
title = {Modular verification of linked lists with views via separation logic},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924524},
doi = {10.1145/1924520.1924524},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/JensenBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LagorioS10,
author = {Giovanni Lagorio and
Marco Servetto},
title = {Strong exception-safety for Java-like languages},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924523},
doi = {10.1145/1924520.1924523},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LagorioS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MilitaoAC10,
author = {Filipe Milit{\~{a}}o and
Jonathan Aldrich and
Lu{\'{\i}}s Caires},
title = {Aliasing control with view-based typestate},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {7:1--7:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924527},
doi = {10.1145/1924520.1924527},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MilitaoAC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SainiSA10,
author = {Darpan Saini and
Joshua Sunshine and
Jonathan Aldrich},
title = {A theory of typestate-oriented programming},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {9:1--9:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924529},
doi = {10.1145/1924520.1924529},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SainiSA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SilvaNS10,
author = {Leila Silva and
David A. Naumann and
Augusto Sampaio},
title = {Refactoring and representation independence for class hierarchies:
extended abstract},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {8:1--8:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924528},
doi = {10.1145/1924520.1924528},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SilvaNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SoleimanifardGH10,
author = {Siavash Soleimanifard and
Dilian Gurov and
Marieke Huisman},
title = {Procedure-modular verification of control flow safety properties},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924525},
doi = {10.1145/1924520.1924525},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SoleimanifardGH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SummersCDD10,
author = {Alexander J. Summers and
Nicholas Cameron and
Mariangiola Dezani{-}Ciancaglini and
Sophia Drossopoulou},
title = {Towards a semantic model for Java wildcards},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924522},
doi = {10.1145/1924520.1924522},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SummersCDD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2010ftfjp,
title = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520},
doi = {10.1145/1924520},
isbn = {978-1-4503-0540-2},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2010ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BakelR09,
author = {Steffen van Bakel and
Reuben N. S. Rowe},
editor = {Anindya Banerjee},
title = {Semantic predicate types and approximation for class-based object
oriented programming},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557901},
doi = {10.1145/1557898.1557901},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BakelR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Besson09,
author = {Fr{\'{e}}d{\'{e}}ric Besson},
editor = {Anindya Banerjee},
title = {{CPA} beats {\(\infty\)}-CFA},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557905},
doi = {10.1145/1557898.1557905},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Besson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BettiniCD09,
author = {Lorenzo Bettini and
Sara Capecchi and
Ferruccio Damiani},
editor = {Anindya Banerjee},
title = {A mechanism for flexible dynamic trait replacement},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {9:1--9:7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557907},
doi = {10.1145/1557898.1557907},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BettiniCD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CameronD09,
author = {Nicholas Cameron and
Sophia Drossopoulou},
editor = {Anindya Banerjee},
title = {On subtyping, wildcards, and existential types},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557902},
doi = {10.1145/1557898.1557902},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/CameronD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Chen09,
author = {Juan Chen},
editor = {Anindya Banerjee},
title = {A typed intermediate language for supporting interfaces},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557899},
doi = {10.1145/1557898.1557899},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Chen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Fraine09,
author = {Bruno De Fraine},
editor = {Anindya Banerjee},
title = {Range parameterized types: use-site variance without the existential
questions},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557900},
doi = {10.1145/1557898.1557900},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Fraine09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GrigoreCFK09,
author = {Radu Grigore and
Julien Charles and
Fintan Fairmichael and
Joseph Kiniry},
editor = {Anindya Banerjee},
title = {Strongest postcondition of unstructured programs},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557904},
doi = {10.1145/1557898.1557904},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GrigoreCFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Huisman09,
author = {Marieke Huisman},
editor = {Anindya Banerjee},
title = {On the interplay between the semantics of Java's finally clauses and
the {JML} run-time checker},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {8:1--8:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557906},
doi = {10.1145/1557898.1557906},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Huisman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RobbyC09,
author = {Robby and
Patrice Chalin},
editor = {Anindya Banerjee},
title = {Preliminary design of a unified {JML} representation and software
infrastructure},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557903},
doi = {10.1145/1557898.1557903},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RobbyC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Summers09,
author = {Alexander J. Summers},
editor = {Anindya Banerjee},
title = {Modelling Java requires state},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {10:1--10:3},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557908},
doi = {10.1145/1557898.1557908},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Summers09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2009ftfjp,
editor = {Anindya Banerjee},
title = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898},
doi = {10.1145/1557898},
isbn = {978-1-60558-540-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2009ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-02-18 23:22 CET from data curated 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:
