© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Denotationelle und operationelle Semantiken f�r konstruktorbasierte funktionale Programmiersprachen erster Ordnung
Olaf Chitil
Master's thesis, RWTH Aachen, February 1995 In German. Download publication 1405 kbytes (PDF)Bibtex Record
@mastersthesis{1908,
author = {Olaf Chitil},
title = {Denotationelle und operationelle {S}emantiken f�r konstruktorbasierte funktionale {P}rogrammiersprachen erster {O}rdnung},
month = {February},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {In German.},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/1908},
publication_type = {mastersthesis},
submission_id = {23833_1083681832},
other_year = {1995},
school = {RWTH Aachen},
}