Meta-F ^\star : 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, Nikhil Swamy. Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. In Luís Caires, editor, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Volume 11423 of Lecture Notes in Computer Science, pages 30-59, Springer, 2019. [doi]

Authors

Guido Martínez

This author has not been identified. Look up 'Guido Martínez' in Google

Danel Ahman

This author has not been identified. Look up 'Danel Ahman' in Google

Victor Dumitrescu

This author has not been identified. Look up 'Victor Dumitrescu' in Google

Nick Giannarakis

This author has not been identified. Look up 'Nick Giannarakis' in Google

Chris Hawblitzel

This author has not been identified. Look up 'Chris Hawblitzel' in Google

Catalin Hritcu

This author has not been identified. Look up 'Catalin Hritcu' in Google

Monal Narasimhamurthy

This author has not been identified. Look up 'Monal Narasimhamurthy' in Google

Zoe Paraskevopoulou

This author has not been identified. Look up 'Zoe Paraskevopoulou' in Google

Clément Pit-Claudel

This author has not been identified. Look up 'Clément Pit-Claudel' in Google

Jonathan Protzenko

This author has not been identified. Look up 'Jonathan Protzenko' in Google

Tahina Ramananandro

This author has not been identified. Look up 'Tahina Ramananandro' in Google

Aseem Rastogi

This author has not been identified. Look up 'Aseem Rastogi' in Google

Nikhil Swamy

This author has not been identified. Look up 'Nikhil Swamy' in Google