© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Blue - language specification, version 1.0
Michael Kölling and John Rosenberg
Technical Report TR97-13, School of Computer Science and Software Engineering, Monash University, November 1997. Download publication 196 kbytes (PDF)Bibtex Record
@techreport{2165,
author = {Michael Kölling and John Rosenberg},
title = {Blue - Language Specification, Version 1.0},
month = {November},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/2165},
publication_type = {techreport},
submission_id = {2633_1116932445},
other_year = {1997},
institution = {School of Computer Science and Software Engineering, Monash University},
type = {Technical Report},
number = {TR97-13},
}