Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms (bibtex)

by Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi and Nikhil Swamy

View PDF

Reference:

Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms (Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi and Nikhil Swamy), In 28th European Symposium on Programming (ESOP), Springer, 2019.

Bibtex Entry:

@inproceedings{metafstar,
  author = {Guido Mart\'inez and
            Danel Ahman and
            Victor Dumitrescu and
            Nick Giannarakis and
            Chris Hawblitzel and
            Catalin Hritcu and
            Monal Narasimhamurthy and
            Zoe Paraskevopoulou and
            Cl\'ement Pit-Claudel and
            Jonathan Protzenko and
            Tahina Ramananandro and
            Aseem Rastogi and
            Nikhil Swamy},
  title = {{Meta-F*}:  Proof Automation with {SMT}, Tactics, and Metaprograms},
  booktitle = {28th European Symposium on Programming (ESOP)},
  shortbooktitle = {ESOP},
  pages     = {30--59},
  publisher = {Springer},
  year      = {2019},
  month     = april,
  url       = {https://fstar-lang.org/papers/metafstar},
  ee        = {https://doi.org/10.1007/978-3-030-17184-1\_2},
  doi       = {10.1007/978-3-030-17184-1\_2},
}