Search dblp for Publications

• > Home > Search

@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}
}