School of Computing

``executing'' the ocl

Ian Oliver

accepted at PhDOOS'99 at ECOOP'99, Lisbon, Portugal, June 1999.

Bibtex Record

@unpublished{758,
author = {Ian Oliver},
title = {``Executing'' the OCL},
month = {June},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {accepted at PhDOOS'99 at ECOOP'99, Lisbon, Portugal},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/758},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014