default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 17
Volume 17, Number 1, January 1995
- Jean-Marie Larchevêque:
Optimal Incremental Parsing. 1-15 - Yih-Kuen Tsay
, Rajive L. Bagrodia:
Deducing Fairness Properties in UNITY Logic - A New Completeness Result. 16-27 - Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo:
Improving Abstract Interpretations by Combining Domains. 28-44 - Joseph P. Skudlarek:
Notes on "A Methodology for Implementing Highly Concurrent Data Objects". 45-46 - Jens Palsberg:
Closure Analysis in Constraint Form. 47-62 - Alexander Aiken, John H. Williams, Edward L. Wimmers:
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. 63-84 - Michael P. Gerlek, Eric Stoltz, Michael Wolfe:
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA. 85-122 - Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng:
Optimal Evaluation of Array Expressions on Massively Parallel Machines. 123-156 - Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier:
Local and Temporal Predicates In Distributed Systems. 157-179
Volume 17, Number 2, March 1995
- Cliff Click, Keith D. Cooper:
Combining Analyses, Combining Optimizations. 181-196 - G. A. Venkatesh:
Experimental Results from Dynamic Slicing of C Program. 197-216 - Wie-Ngan Chin, Eak-Khoon Goh:
A Reexamination of "Optimization of Array Subscript Range Checks". 217-227 - Pei-Chi Wu, Feng-Jian Wang:
A Worst Case of Circularity Test Algorithms for Attribute Grammars. 228-232 - Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren:
Supporting Dynamic Data Structures on Distributed-Memory Machines. 233-263 - Jens Palsberg, Cun Xiao, Karl J. Lieberherr:
Efficient Implementation of Adaptive Software. 264-292 - Adam Brooks Webber:
Optimization of Functional Programs by Grammar Thinning. 293-330 - Saumya K. Debray:
On the Complexity of Dataflow Analysis of Logic Programs. 331-365 - Michal Walicki, Sigurd Meldal:
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. 366-393 - Alan Carle, Lori L. Pollock:
Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects. 394-429
Volume 17, Number 3, May 1995
- Giuseppe Castagna:
Covariance and Contravariance: Conflict without a Cause. 431-447 - W. Homer Carlisle:
Type Checking Concurrent I/O. 448-460 - Todd A. Proebsting:
BURS Automata Generation. 461-486 - Ron Cytron, Jeanne Ferrante:
Efficientlty Computing Phi-Nodes On-The-Fly. 487-506 - Martín Abadi, Leslie Lamport:
Conjoining Specifications. 507-534 - Manhoi Choy, Ambuj K. Singh:
Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation. 535-559
Volume 17, Number 4, July 1995
- Christine Fricker, Olivier Temam, William Jalby:
Influence of Cross-Interferences on Blocked Loops: A Case Study with Matric-Vector Multiply. 561-575 - Jens Palsberg, Patrick O'Keefe:
A Type System Equivalent to Flow Analysis. 576-599 - Milind Girkar, Constantine D. Polychronopoulos:
Extracting Task-Level Parallelism. 600-634 - Pascal Van Hentenryck, Viswanath Ramachandran:
Backtracking without Trailing in CLP(R-lin). 635-671 - Bruce J. McKenzie, Corey Yeatman, Lorraine De Vere:
Error Repair in Shift-Reduce Parsers. 672-689
Volume 17, Number 5, September 1995
- Anthony M. Sloane:
An Evaluation of an Automatically Generated Compiler. 691-703 - Henry Cejtin, Suresh Jagannathan, Richard Kelsey:
Higher-Order Distributed Objects. 704-739 - Steven M. Kurlander, Todd A. Proebsting, Charles N. Fischer:
Efficient Instruction Scheduling for Delayed-Load Architectures. 740-776 - Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder:
Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems. 777-803
Volume 17, Number 6, November 1995
- Craig Chambers, Gary T. Leavens:
Typechecking and Modules for Multimethods. 805-843 - Atsushi Ohori:
A Polymorphic Record Calculus and Its Compilation. 844-895 - R. Sekar, I. V. Ramakrishnan:
Fast Strictness Analysis Based on Demand Propagation. 896-937
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
