pdf-format: |
|
@Proceedings{schmidtschau_et_al:OASIcs.WPTE.2014, title = {{OASIcs, Volume 40, WPTE'14, Complete Volume}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-70-5}, ISSN = {2190-6807}, year = {2014}, volume = {40}, editor = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2014/4621}, URN = {urn:nbn:de:0030-drops-46216}, doi = {10.4230/OASIcs.WPTE.2014}, annote = {Keywords: Conference proceedings, Formal Definitions and Theory, Translator writing systems and compiler generators, Specifying and Verifying and Reasoning about Programs, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems} }
Keywords: | Conference proceedings, Formal Definitions and Theory, Translator writing systems and compiler generators, Specifying and | |
Freie Schlagwörter (englisch): | Verifying and Reasoning about Programs, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems | |
Seminar: | First International Workshop on Rewriting Techniques for Program Transformations and Evaluation | |
Issue date: | 2014 | |
Date of publication: | 14.07.2014 |