default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ecoop/ftfjp2021.bht:"
download as .bib file
@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 = {Tue, 08 Feb 2022 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 = {Tue, 08 Feb 2022 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}
}
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 2024-12-26 00:32 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:
