© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A flexible object invocation language based on object-oriented language definition
Mark Evered, Michael Kolling, and Axel Schmolitzky
The Computer Journal, 38(3):182-196, September 1995. Download publication 493 kbytes (PDF)Bibtex Record
@article{2174,
author = {Mark Evered and Michael Kolling and Axel Schmolitzky},
title = {A Flexible Object Invocation Language based on Object-Oriented Language Definition},
month = {September},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/2174},
publication_type = {article},
submission_id = {5015_1116943046},
other_year = {1995},
journal = {The Computer Journal},
volume = {38},
number = {3},
}