Deep Specifications and Certified Abstraction Layers
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
Deep Specifications and Certified Abstraction Layers
POPL, 2015.

POPL 2015
Full names Links ISxN
	author        = "Ronghui Gu and Jérémie Koenig and Tahina Ramananandro and Zhong Shao and Xiongnan (Newman) Wu and Shu-Chun Weng and Haozhong Zhang and Yu Guo",
	booktitle     = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
	doi           = "10.1145/2676726.2676975",
	isbn          = "978-1-4503-3300-9",
	pages         = "595--608",
	publisher     = "{ACM}",
	title         = "{Deep Specifications and Certified Abstraction Layers}",
	year          = 2015,


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.