Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ecoop/ftfjp2015.bht:"
@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 = {Mon, 05 Feb 2024 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} }
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.