© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Framework for Defining Object-oriented Languages using Action Semantics
LCS Meneses, S Soares, JB Meneses, H Moura, and ALC Cavalcanti
In 4th Brazilian Symposium on Programming Languages, pages 182-196, 2000.Bibtex Record
@inproceedings{1490,
author = {LCS Meneses and S Soares and JB Meneses and H Moura and ALC Cavalcanti},
title = {{A Framework for Defining Object-oriented Languages using Action Semantics}},
month = {unknown},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1490},
publication_type = {inproceedings},
submission_id = {28368_1028901591},
booktitle = {4th Brazilian Symposium on Programming Languages},
}