A systematic approach to abstract interpretation of program transformations
From MaRDI portal
Publication:784122
DOI10.1007/978-3-030-39322-9_7OpenAlexW3000629693MaRDI QIDQ784122FDOQ784122
Authors: Sven Keidel, Sebastian Erdweg 
Publication date: 5 August 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-39322-9_7
Cited In (5)
- Program transformation system based on generalized partial computation
- Title not available (Why is that?)
- Some methods of automatic analysis and controllable transformation of programs
- Inferring functional properties of matrix manipulating programs by abstract interpretation
- A Framework for Point-Free Program Transformation
This page was built for publication: A systematic approach to abstract interpretation of program transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784122)
