@inproceedings{dcf3d4dcd4734cb0a3669db47c830d9f,
title = "Modular implementation of a translator from behavioral specifications to rewrite theory specifications",
abstract = "Meta-level facilities of Maude allow us to develop formal tools with less effort than conventional programming languages. We present a modular implementation of a translator with meta-level facilities of Maude. The translator takes a behavioral specification and produces behaviorally equivalent rewrite theory specifications. The implementation of the translator is modular so that multiple translation strategies can be modularized and embedded in it. Multiple styles of rewrite theory specifications can be automatically generated for one behavioral specification.",
author = "Min Zhang and Kazuhiro Ogata",
year = "2009",
doi = "10.1109/QSIC.2009.60",
language = "英语",
isbn = "9780769538280",
series = "Proceedings - International Conference on Quality Software",
pages = "406--411",
booktitle = "QSIC 2009 - Proceedings of the 9th International Conference on Quality Software",
note = "9th International Conference on Quality Software, QSIC 2009 ; Conference date: 24-08-2009 Through 25-08-2009",
}