TOPLAS 1998

33 papers

1. "Maximal-munch" Tokenization in Linear Time · Thomas W. Reps
2. A Logical Model for Relational Abstract Domains · Roberto Giacobazzi, Francesca Scozzari
3. A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs · Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee
4. A New, Simpler Linear-Time Dominators Algorithm · Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook
5. A Partially Deadlock-Free Typed Process Calculus · Naoki Kobayashi
6. A Practical and Flexible Flow Analysis for Higher-Order Languages · J. Michael Ashley, R. Kent Dybvig
7. A Region Inference Algorithm · Mads Tofte, Lars Birkedal
8. A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology · Jun Lang, David B. Stewart
9. A Systematic Study of Functional Language Implementations · Rémi Douence, Pascal Fradet
10. A Task- and Data-Parallel Programming Language Based on Shared Objects · Saniya Ben Hassen, Henri E. Bal, Ceriel J. H. Jacobs
11. Alma-O: An Imperative Language That Supports Declarative Programming · Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf
12. An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs · Konstantinos Sagonas, Terrance Swift
13. Automatic Data Layout for Distributed-Memory Machines · Ken Kennedy, Ulrich Kremer
14. Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules · Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
15. Constraint-Based Array Dependence Analysis · William W. Pugh, David Wonnacott
16. Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs · Michael Leuschel, Bern Martens, Danny De Schreye
17. Cost-Optimal Code Motion · Max Hailperin
18. Dynamic Currency Determination in Optimized Programs · Dhananjay M. Dhamdhere, K. V. Sankaranarayanan
19. Efficient and Flexible Incremental Parsing · Tim A. Wagner, Susan L. Graham
20. Equality-based flow analysis versus recursive types · Jens Palsberg
21. Fast Algorithms for Compressed Multimethod Dispatch Table Generation · Eric Dujardin, Eric Amiel, Eric Simon
22. Finitary Fairness · Rajeev Alur, Thomas A. Henzinger
23. Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications · Daniel Jackson, Somesh Jha, Craig Damon
24. Optimizing Compilation of CLP(R) · Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap
25. Partial Evaluation of Functional Logic Programs · María Alpuente, Moreno Falaschi, Germán Vidal
26. Polymorphic Splitting: An Effective Polyvariant Flow Analysis · Andrew K. Wright, Suresh Jagannathan
27. Proofs about a Folklore Let-Polymorphic Type Inference Algorithm · Oukseh Lee, Kwangkeun Yi
28. Solving Shape-Analysis Problems in Languages with Destructive Updating · Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
29. Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations · Tao Yang, Cong Fu
30. Static Caching for Incremental Computation · Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
31. Synthesis of Concurrent Systems with Many Similar Processes · Paul C. Attie, E. Allen Emerson
32. The Design, Implementation, and Evaluation of Jade · Martin C. Rinard, Monica S. Lam
33. Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems · Wan J. Fokkink, Jasper Kamperman, Pum Walters