Journal: ACM Transactions on Programming Languages and Systems

Volume 21, Issue 2

175 -- 188Ganesan Ramalingam. Identifying Loops in Almost Linear Time
189 -- 239Francisco Bueno, Maria J. GarcĂ­a de la Banda, Manuel V. Hermenegildo. Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming
240 -- 285John Greiner, Guy E. Blelloch. A Provably Time-Efficient Parallel Implementation of Full Speculation
286 -- 323Luiz De Rose, David A. Padua. Techniques for the Translation of MATLAB Programs into Fortran 90
324 -- 369Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek. C and tcc: A Language and Compiler for Dynamic Code Generation
370 -- 416Cormac Flanagan, Matthias Felleisen. Componential Set-Based Analysis