© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Refinement Algebra for Formal Bytecode Generation
AA Duran, ACA Sampaio, and ALC Cavalcanti
In Proceedings of the 4th International Conference on Formal Engineering Methods - ICFEM 2002, pages 182-196. Springer-Verlag, 2002 To appear.Bibtex Record
@inproceedings{1474,
author = {AA Duran and ACA Sampaio and ALC Cavalcanti},
title = {{Refinement Algebra for Formal Bytecode Generation}},
month = {unknown},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {To appear},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1474},
publication_type = {inproceedings},
submission_id = {4267_1028819293},
booktitle = {Proceedings of the 4th International Conference on Formal Engineering Methods - ICFEM 2002},
publisher = {Springer-Verlag},
}