© University of Kent - Contact | Feedback | Legal | FOI | Cookies
YATL: Yet Another Transformation Language - Reference Manual Version 1.0
Octavian Patrascoiu
Technical Report 2-04, March 2004. Download publication 591 kbytes (PDF)Bibtex Record
@techreport{1862,
author = {Octavian Patrascoiu},
title = {{YATL}: {Y}et {A}nother {T}ransformation {L}anguage - {R}eference {M}anual {V}ersion 1.0},
month = {March},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1862},
publication_type = {manual},
submission_id = {12030_1080816355},
organization = {Computing Laboratory, University of Kent},
number = {2-04},
}