© 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}, }