Denis Bogdanas, Grigore Rosu
K-Java: A Complete Semantics of Java
POPL, 2015.
@inproceedings{POPL-2015-BogdanasR, author = "Denis Bogdanas and Grigore Rosu", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2676982", isbn = "978-1-4503-3300-9", pages = "445--456", publisher = "{ACM}", title = "{K-Java: A Complete Semantics of Java}", year = 2015, }