TOPLAS 1995

37 papers

1. A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism · Michal Walicki, Sigurd Meldal
2. A Polymorphic Record Calculus and Its Compilation · Atsushi Ohori
3. A Reexamination of "Optimization of Array Subscript Range Checks" · Wie-Ngan Chin, Eak-Khoon Goh
4. A Type System Equivalent to Flow Analysis · Jens Palsberg, Patrick O'Keefe
5. A Worst Case of Circularity Test Algorithms for Attribute Grammars · Pei-Chi Wu, Feng-Jian Wang
6. An Evaluation of an Automatically Generated Compiler · Anthony M. Sloane
7. BURS Automata Generation · Todd A. Proebsting
8. Backtracking without Trailing in CLP(R-lin) · Pascal Van Hentenryck, Viswanath Ramachandran
9. Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA · Michael P. Gerlek, Eric Stoltz, Michael Wolfe
10. Closure Analysis in Constraint Form · Jens Palsberg
11. Combining Analyses, Combining Optimizations · Cliff Click, Keith D. Cooper
12. Conjoining Specifications · Martín Abadi, Leslie Lamport
13. Covariance and Contravariance: Conflict without a Cause · Giuseppe Castagna
14. Deducing Fairness Properties in UNITY Logic - A New Completeness Result · Yih-Kuen Tsay, Rajive L. Bagrodia
15. Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation · Manhoi Choy, Ambuj K. Singh
16. Efficient Implementation of Adaptive Software · Jens Palsberg, Cun Xiao, Karl J. Lieberherr
17. Efficient Instruction Scheduling for Delayed-Load Architectures · Steven M. Kurlander, Todd A. Proebsting, Charles N. Fischer
18. Efficientlty Computing Phi-Nodes On-The-Fly · Ron Cytron, Jeanne Ferrante
19. Error Repair in Shift-Reduce Parsers · Bruce J. McKenzie, Corey Yeatman, Lorraine De Vere
20. Experimental Results from Dynamic Slicing of C Program · G. A. Venkatesh
21. Extracting Task-Level Parallelism · Milind Girkar, Constantine D. Polychronopoulos
22. Fast Strictness Analysis Based on Demand Propagation · R. Sekar, I. V. Ramakrishnan
23. Higher-Order Distributed Objects · Henry Cejtin, Suresh Jagannathan, Richard Kelsey
24. Improving Abstract Interpretations by Combining Domains · Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
25. Influence of Cross-Interferences on Blocked Loops: A Case Study with Matric-Vector Multiply · Christine Fricker, Olivier Temam, William Jalby
26. Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems · Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder
27. Local and Temporal Predicates In Distributed Systems · Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier
28. Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects · Alan Carle, Lori L. Pollock
29. Notes on "A Methodology for Implementing Highly Concurrent Data Objects" · Joseph P. Skudlarek
30. On the Complexity of Dataflow Analysis of Logic Programs · Saumya K. Debray
31. Optimal Evaluation of Array Expressions on Massively Parallel Machines · Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng
32. Optimal Incremental Parsing · Jean-Marie Larchevêque
33. Optimization of Functional Programs by Grammar Thinning · Adam Brooks Webber
34. Safe: A Semantic Technique for Transforming Programs in the Presence of Errors · Alexander Aiken, John H. Williams, Edward L. Wimmers
35. Supporting Dynamic Data Structures on Distributed-Memory Machines · Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren
36. Type Checking Concurrent I/O · W. Homer Carlisle
37. Typechecking and Modules for Multimethods · Craig Chambers, Gary T. Leavens