BibTeX record conf/popl/BrunelDHLM09

• > Home > conf/popl/BrunelDHLM09

@inproceedings{DBLP:conf/popl/BrunelDHLM09,
  author       = {Julien Brunel and
                  Damien Doligez and
                  Ren{\'{e}} Rydhof Hansen and
                  Julia L. Lawall and
                  Gilles Muller},
  editor       = {Zhong Shao and
                  Benjamin C. Pierce},
  title        = {A foundation for flow-based program matching: using temporal logic
                  and model checking},
  booktitle    = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
                  21-23, 2009},
  pages        = {114--126},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1480881.1480897},
  doi          = {10.1145/1480881.1480897},
  timestamp    = {Sat, 09 Apr 2022 12:36:01 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/BrunelDHLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}