© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An XML Specification for Grrr Programs
Peter Rodgers
In University of Paderborn GT Exchange Formats, pages 182-196, September 2000.Abstract
An XML Specification for Grrr Programs
Peter Rodgers Computing Laboratory University of Kent
Given is an XML DTD and worked example to show how a Grrr program might be stored in a form that allows conversion to other graph transformation systems. Contribution to the University of Paderborn GT Exchange Formats Meeting. This is GRXL draft version 0.1.
Bibtex Record
@inproceedings{1171,
author = {Peter Rodgers},
title = {{An XML Specification for Grrr Programs}},
month = {September},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1171},
publication_type = {inproceedings},
submission_id = {23971_981726050},
booktitle = {University of Paderborn GT Exchange Formats},
}