pdf-format: |
|
@InProceedings{nagashima_et_al:OASIcs:2014:4584, author = {Masanori Nagashima and Tomofumi Kato and Masahiko Sakai and Naoki Nishida}, title = {{Inverse Unfold Problem and Its Heuristic Solving}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, pages = {27--38}, series = {OpenAccess Series in Informatics (OASIcs)}, ISBN = {978-3-939897-70-5}, ISSN = {2190-6807}, year = {2014}, volume = {40}, editor = {Manfred Schmidt-Schau{\ss} and Masahiko Sakai and David Sabel and Yuki Chiba}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4584}, URN = {urn:nbn:de:0030-drops-45848}, doi = {10.4230/OASIcs.WPTE.2014.27}, annote = {Keywords: program transformation, unfolding, conditional term rewriting system} }
Keywords: | program transformation, unfolding, conditional term rewriting system | |
Seminar: | First International Workshop on Rewriting Techniques for Program Transformations and Evaluation | |
Issue date: | 2014 | |
Date of publication: | 13.07.2014 |