Slicing as a program transformation
Martin Ward
A deterministic logical semantics for pure Esterel
Olivier Tardieu
Allocating architected registers through differential encoding
Xiaotong Zhuang, Santosh Pande
Termination analysis of logic programs through combination of type-based norms
Maurice Bruynooghe, Michael Codish, Jhon P. Gallagher, Samir Genaim, Win Vanhoof
Fast online pointer analysis
Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind
METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies
Jaydeep Marathe, Frank Mueller, Tushar Mohan, S. McKee, Bronis de Supinski, Andy Yoo
A provenly correct translation of Fickle into Java
D. Ancona, C. Anderson, F. Damiani, Sophia Drossopoulou, P. Giannini, E. Zucca
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: