default search action
Search dblp for Publications
export results for "toc:db/conf/ftfjp/ftfjp2022.bht:"
@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 = {Fri, 27 Oct 2023 01:00:00 +0200}, 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 = {Fri, 27 Oct 2023 01:00:00 +0200}, 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 = {Fri, 27 Oct 2023 01:00:00 +0200}, 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 = {Fri, 27 Oct 2023 01:00:00 +0200}, 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} }
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.