Search dblp for Publications

export results for "toc:db/conf/plpv/plpv2012.bht:"

 download as .bib file

@inproceedings{DBLP:conf/plpv/AffeldtNO12,
  author       = {Reynald Affeldt and
                  David Nowak and
                  Yutaka Oiwa},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Formal network packet processing with minimal fuss: invertible syntax
                  descriptions at work},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {27--36},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103781},
  doi          = {10.1145/2103776.2103781},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/AffeldtNO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/AmighiBHZ12,
  author       = {Afshin Amighi and
                  Stefan Blom and
                  Marieke Huisman and
                  Marina Zaharieva{-}Stojanovski},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {The VerCors project: setting up basecamp},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {71--82},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103785},
  doi          = {10.1145/2103776.2103785},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/AmighiBHZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/GesellS12,
  author       = {Manuel Gesell and
                  Klaus Schneider},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {A hoare calculus for the verification of synchronous languages},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {37--48},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103782},
  doi          = {10.1145/2103776.2103782},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/GesellS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Jeffrey12,
  author       = {Alan Jeffrey},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {{LTL} types {FRP:} linear-time temporal logic propositions as types,
                  proofs as functional reactive programs},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103783},
  doi          = {10.1145/2103776.2103783},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Jeffrey12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/KimmellSEEFSWCSCA12,
  author       = {Garrin Kimmell and
                  Aaron Stump and
                  Harley D. Eades III and
                  Peng Fu and
                  Tim Sheard and
                  Stephanie Weirich and
                  Chris Casinghino and
                  Vilhelm Sj{\"{o}}berg and
                  Nathan Collins and
                  Ki Yung Ahn},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Equational reasoning about programs with general recursion and call-by-value
                  semantics},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103780},
  doi          = {10.1145/2103776.2103780},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Komendantsky12,
  author       = {Vladimir Komendantsky},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Reflexive toolbox for regular expression matching: verification of
                  functional programs in Coq+Ssreflect},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {61--70},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103784},
  doi          = {10.1145/2103776.2103784},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Komendantsky12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/OseraSZ12,
  author       = {Peter{-}Michael Osera and
                  Vilhelm Sj{\"{o}}berg and
                  Steve Zdancewic},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Dependent interoperability},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103779},
  doi          = {10.1145/2103776.2103779},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/OseraSZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Pierce12,
  author       = {Benjamin C. Pierce},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Verification challenges of pervasive information flow},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103778},
  doi          = {10.1145/2103776.2103778},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Pierce12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plpv/2012,
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  isbn         = {978-1-4503-1125-0},
  timestamp    = {Fri, 27 Jan 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/2012.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.