© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Predicate transformers in the semantics of Circus
A L C Cavalcanti and J C P Woodcock
IEE Proceedings Software, 150(1):182-196, February 2003 Invited paper.Bibtex Record
@article{1794,
author = {A L C Cavalcanti and J C P Woodcock},
title = {{Predicate transformers in the semantics of Circus}},
month = {February},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Invited paper},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1794},
publication_type = {article},
submission_id = {3464_1076325032},
journal = {IEE Proceedings Software},
volume = {150},
number = {1},
}