© 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}, }