A verified framework for higher-order uncurrying optimizations
From MaRDI portal
Publication:968367
DOI10.1007/s10990-010-9050-zzbMath1209.68106MaRDI QIDQ968367
Publication date: 5 May 2010
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-010-9050-z
compiler optimization; functional programming languages; compiler verification; mechanized verification; semantic preservation
68N18: Functional programming and lambda calculus
Uses Software