Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/pacmpl/VazouTCSNWJ18
%A Vazou, Niki
%A Tondwalkar, Anish
%A Choudhury, Vikraman
%A Scott, Ryan G.
%A Newton, Ryan R.
%A Wadler, Philip
%A Jhala, Ranjit
%D 2018
%J Proc. ACM Program. Lang.
%K dblp
%N POPL
%P 53:1-53:31
%T Refinement reflection: complete verification with SMT.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#VazouTCSNWJ18
%V 2
@article{journals/pacmpl/VazouTCSNWJ18,
added-at = {2020-04-16T00:00:00.000+0200},
author = {Vazou, Niki and Tondwalkar, Anish and Choudhury, Vikraman and Scott, Ryan G. and Newton, Ryan R. and Wadler, Philip and Jhala, Ranjit},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/223a4d586cb4125da2fa6d92702c40a27/dblp},
ee = {https://doi.org/10.1145/3158141},
interhash = {b281903a0fb1e3ccba200dbb834fd349},
intrahash = {23a4d586cb4125da2fa6d92702c40a27},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {POPL},
pages = {53:1-53:31},
timestamp = {2020-04-20T12:42:10.000+0200},
title = {Refinement reflection: complete verification with SMT.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#VazouTCSNWJ18},
volume = 2,
year = 2018
}
