Standard

Toward Abstract Interpretation of Program Transformations. / Keidel, Sven; Erdweg, Sebastian.

Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. New York : Association for Computing Machinery (ACM), 2017. p. 1-5.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Harvard

Keidel, S & Erdweg, S 2017, Toward Abstract Interpretation of Program Transformations. in Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. Association for Computing Machinery (ACM), New York, pp. 1-5, The 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, Vancouver, Canada, 22/10/17. https://doi.org/10.1145/3141517.3141855

APA

Keidel, S., & Erdweg, S. (2017). Toward Abstract Interpretation of Program Transformations. In Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection (pp. 1-5). Association for Computing Machinery (ACM). https://doi.org/10.1145/3141517.3141855

Vancouver

Keidel S, Erdweg S. Toward Abstract Interpretation of Program Transformations. In Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. New York: Association for Computing Machinery (ACM). 2017. p. 1-5 https://doi.org/10.1145/3141517.3141855

Author

Keidel, Sven ; Erdweg, Sebastian. / Toward Abstract Interpretation of Program Transformations. Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. New York : Association for Computing Machinery (ACM), 2017. pp. 1-5

BibTeX

@inproceedings{02a16fbd7cc248c4823b64cc094b99d6,
title = "Toward Abstract Interpretation of Program Transformations",
abstract = "Developers of program transformations often reason about transformations to assert certain properties of the generatedcode. We propose to apply abstract interpretation to program transformations in order to automate and support suchreasoning. In this paper, we present work in progress on the development and application of an abstract interpreter forthe program transformation language Stratego. In particular, we present challenges encountered during the developmentof the abstract Stratego interpreter and how we intend to solve these challenges.",
keywords = "abstract interpretation, program transformation",
author = "Sven Keidel and Sebastian Erdweg",
year = "2017",
doi = "10.1145/3141517.3141855",
language = "English",
pages = "1--5",
booktitle = "Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection",
publisher = "Association for Computing Machinery (ACM)",
address = "United States",
note = "The 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection : Meta 2017 ; Conference date: 22-10-2017 Through 22-10-2017",

}

RIS

TY - GEN

T1 - Toward Abstract Interpretation of Program Transformations

AU - Keidel, Sven

AU - Erdweg, Sebastian

PY - 2017

Y1 - 2017

N2 - Developers of program transformations often reason about transformations to assert certain properties of the generatedcode. We propose to apply abstract interpretation to program transformations in order to automate and support suchreasoning. In this paper, we present work in progress on the development and application of an abstract interpreter forthe program transformation language Stratego. In particular, we present challenges encountered during the developmentof the abstract Stratego interpreter and how we intend to solve these challenges.

AB - Developers of program transformations often reason about transformations to assert certain properties of the generatedcode. We propose to apply abstract interpretation to program transformations in order to automate and support suchreasoning. In this paper, we present work in progress on the development and application of an abstract interpreter forthe program transformation language Stratego. In particular, we present challenges encountered during the developmentof the abstract Stratego interpreter and how we intend to solve these challenges.

KW - abstract interpretation

KW - program transformation

U2 - 10.1145/3141517.3141855

DO - 10.1145/3141517.3141855

M3 - Conference contribution

SP - 1

EP - 5

BT - Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

PB - Association for Computing Machinery (ACM)

CY - New York

T2 - The 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

Y2 - 22 October 2017 through 22 October 2017

ER -

ID: 32868764