External Links

Journal: ACM Transactions on Programming Languages and Systems

Volume 21, Issue 6

1077 -- 1136Paolo Bottoni, Maria Francesca Costabile, Piero Mussio. Specification and dialogue control of visual interaction through visual rewriting systems
1137 -- 1195Stefaan Decorte, Danny De Schreye, Henk Vandecasteele. Constraint-based termination analysis of logic programs
1196 -- 1250Stephen N. Freund, John C. Mitchell. The type system for object initializatiion in the Jave bytecode language
1251 -- 1297Mahmut T. Kandemir, Prithviraj Banerjee, Alok N. Choudhary, J. Ramanujam, U. Nagaraj Shenoy. A global communication optimization technique based on data-flow analysis and linear algebra

Volume 21, Issue 5

895 -- 913Massimiliano Poletto, Vivek Sarkar. Linear scan register allocation
914 -- 947Naoki Kobayashi, Benjamin C. Pierce, David N. Turner. Linearity and the pi-calculus
948 -- 976Michael Codish, Harald Søndergaard, Peter J. Stuckey. Sharing and groundness dependencies in logic programs
977 -- 1027Nicholas C. Gloy, Michael D. Smith. Procedure placement using temporal-ordering information
1028 -- 1075Cliff Young, Michael D. Smith. Static correlated branch prediction

Volume 21, Issue 4

703 -- 746Somnath Ghosh, Margaret Martonosi, Sharad Malik. Cache miss equations: a compiler framework for analyzing and tuning memory behavior
747 -- 789Tevfik Bultan, Richard Gerber, William Pugh. Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results
790 -- 812Matthias Blume. Dependency analysis for Standard ML
813 -- 847Matthias Blume, Andrew W. Appel. Hierarchical modularity
848 -- 894Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi. Interprocedural pointer alias analysis

Volume 21, Issue 3

417 -- 429Michael J. Butler, Pieter H. Hartel. Reasoning about Grover s quantum search algorithm using probabilistic ::::wp::::
430 -- 501Gudjon Gudjonsson, William H. Winsborough. Compile-time memory reuse in logic programming languages through update in place
502 -- 526Leslie Lamport, Lawrence C. Paulson. Should your specification language be typed
527 -- 568J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew. From system F to typed assembly language
569 -- 626Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka. Efficient logic variables for distributed computing
627 -- 676Robert Kennedy, Sun Chan, Shin-Ming Liu, Raymond Lo, Peng Tu, Fred C. Chow. Partial redundancy elimination in SSA form
677 -- 701Joseph M. Morris, Alexander Bunkenburg. Specificational functions

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

Volume 21, Issue 1

1 -- 10Eberhard Bertsch, Mark-Jan Nederhof. On Failure of the Pruning Technique in Error Repair in Shift-Reduce Parsers
11 -- 45Dominic Duggan. Dynamic Typing for Distributed Programming in Polymorphic Languages
46 -- 89Zhiming Liu, Mathai Joseph. Specification and Verification of Fault-Tolerance, Timing, and Scheduling
90 -- 137Raymie Stata, Martín Abadi. A Type System for Java Bytecode Subroutines
138 -- 173Girija J. Narlikar, Guy E. Blelloch. Space-Efficient Scheduling of Nested Parallelism
runs on