Search dblp for Publications

export results for "toc:db/conf/ecoop/ftfjp2009.bht:"

 download as .bib file

@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    = {Mon, 05 Feb 2024 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.