Standard
An experiment combining specialization with abstract interpretation. / Gallagher, John P.; Glück, Robert.
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. arXiv.org, 2020. s. 155-158 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 320).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
Harvard
Gallagher, JP
& Glück, R 2020,
An experiment combining specialization with abstract interpretation. i
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. arXiv.org, Electronic Proceedings in Theoretical Computer Science, EPTCS, bind 320, s. 155-158, 8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020, Dublin, Irland,
25/04/2020.
https://doi.org/10.4204/EPTCS.320.11APA
Gallagher, J. P.
, & Glück, R. (2020).
An experiment combining specialization with abstract interpretation. I
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (s. 155-158). arXiv.org. Electronic Proceedings in Theoretical Computer Science, EPTCS Bind 320
https://doi.org/10.4204/EPTCS.320.11Vancouver
Gallagher JP
, Glück R.
An experiment combining specialization with abstract interpretation. I Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. arXiv.org. 2020. s. 155-158. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 320).
https://doi.org/10.4204/EPTCS.320.11Author
Gallagher, John P. ; Glück, Robert. / An experiment combining specialization with abstract interpretation. Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. arXiv.org, 2020. s. 155-158 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 320).
Bibtex
@inproceedings{79267f352ce14b4cbcbbf8c46ae64573,
title = "An experiment combining specialization with abstract interpretation",
abstract = "It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analysis tools. We now show that this purpose-built specializer can be reconstructed in a more modular way, and that the previous results can be achieved using an off-the-shelf partial evaluation tool, applied to an abstract interpreter. The key feature of the abstract interpreter is the abstract domain, which is the product of the property-based abstract domain with the concrete domain. This language-independent framework provides a practical approach to implementing a variety of powerful specializers, and contributes to a stream of research on using interpreters and specialization to achieve program transformations.",
author = "Gallagher, {John P.} and Robert Gl{\"u}ck",
year = "2020",
doi = "10.4204/EPTCS.320.11",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
publisher = "arXiv.org",
pages = "155--158",
booktitle = "Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis",
note = "8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020 ; Conference date: 25-04-2020 Through 26-04-2020",
}
RIS
TY - GEN
T1 - An experiment combining specialization with abstract interpretation
AU - Gallagher, John P.
AU - Glück, Robert
PY - 2020
Y1 - 2020
N2 - It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analysis tools. We now show that this purpose-built specializer can be reconstructed in a more modular way, and that the previous results can be achieved using an off-the-shelf partial evaluation tool, applied to an abstract interpreter. The key feature of the abstract interpreter is the abstract domain, which is the product of the property-based abstract domain with the concrete domain. This language-independent framework provides a practical approach to implementing a variety of powerful specializers, and contributes to a stream of research on using interpreters and specialization to achieve program transformations.
AB - It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analysis tools. We now show that this purpose-built specializer can be reconstructed in a more modular way, and that the previous results can be achieved using an off-the-shelf partial evaluation tool, applied to an abstract interpreter. The key feature of the abstract interpreter is the abstract domain, which is the product of the property-based abstract domain with the concrete domain. This language-independent framework provides a practical approach to implementing a variety of powerful specializers, and contributes to a stream of research on using interpreters and specialization to achieve program transformations.
U2 - 10.4204/EPTCS.320.11
DO - 10.4204/EPTCS.320.11
M3 - Article in proceedings
AN - SCOPUS:85091985804
T3 - Electronic Proceedings in Theoretical Computer Science, EPTCS
SP - 155
EP - 158
BT - Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
PB - arXiv.org
T2 - 8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020
Y2 - 25 April 2020 through 26 April 2020
ER -
