A tour of tempo: a program specializer for the C language
From MaRDI portal
Publication:1887681
DOI10.1016/j.scico.2004.03.011zbMath1072.68519OpenAlexW2095594146MaRDI QIDQ1887681
Charles Consel, Anne-Françoise Le Meur, Julia L. Lawall
Publication date: 22 November 2004
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2004.03.011
Related Items (3)
Code analysis for temporal predictability ⋮ Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation ⋮ A Logical Foundation for Environment Classifiers
Uses Software
This page was built for publication: A tour of tempo: a program specializer for the C language
