© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Weakest Precondition Semantics for an Object-oriented Language of Refinement
ALC Cavalcanti and D Naumann
In FM'99: World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, 1999.Bibtex Record
@inproceedings{1492,
author = {ALC Cavalcanti and D Naumann},
title = {{A Weakest Precondition Semantics for an Object-oriented Language of Refinement}},
month = {unknown},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/1492},
publication_type = {inproceedings},
submission_id = {28495_1028901825},
booktitle = {FM'99: World Congress on Formal Methods},
volume = {1709},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
}