Mixin’ Up the ML Module System
Andreas Rossberg, Derek Dreyer
A Transformation Framework for Optimizing Task-Parallel Programs
V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
Junghee Lim, Thomas Reps
Practical Integrated Analysis of Pointers, Dataflow and Control Flow
Stefan Staiger-Stöhr
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: