Refinement reflection: complete verification with SMT
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement reflection: complete verification with SMT
POPL, 2018.

POPL 2018
Full names Links ISxN
	author        = "Niki Vazou and Anish Tondwalkar and Vikraman Choudhury and Ryan G. Scott and Ryan R. Newton and Philip Wadler and Ranjit Jhala",
	doi           = "10.1145/3158141",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "POPL",
	pages         = "31",
	publisher     = "{ACM}",
	title         = "{Refinement reflection: complete verification with SMT}",
	volume        = 2,
	year          = 2018,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.