default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 18
Volume 18, Number 1, January 1996
- Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski
:
Iteration Abstraction in Sather. 1-15 - Alan Carle, Lori L. Pollock:
On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars. 16-29 - Brad T. Vander Zanden:
An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. 30-72 - John Boyland:
Conditional Attribute Grammars. 73-108
Volume 18, Number 2, March 1996
- Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler:
Type Classes in Haskell. 109-138 - John R. Hauser:
Handling Floating-Point Exceptions in Numeric Programs. 139-174 - David Sands:
Total Correctness by Local Improvement in the Transformation of Functional Programs. 175-234
Volume 18, Number 3, May 1996
- Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang:
Storage Assignment to Decrease Code Size. 235-253 - Geoffrey Smith, Dennis M. Volpano:
Polymorphic typing of Variables and References. 254-267 - Jens Knoop, Bernhard Steffen, Jürgen Vollmer:
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. 268-299 - Lal George, Andrew W. Appel:
Iterated Register Coalescing. 300-324 - Carroll Morgan, Annabelle McIver, Karen Seidel:
Probabilistic Predicate Transformers. 325-353
Volume 18, Number 4, July 1996
- Urs Hölzle, David M. Ungar:
Reconciling Responsiveness with Performance in Pure Object-Orieted Languages. 355-400 - Martín Abadi, Luca Cardelli:
On Subtyping and Matching. 401-423 - Kathryn S. McKinley, Steve Carr, Chau-Wen Tseng:
Improving Data Locality with Loop Transformations. 424-453 - Ian T. Foster:
Compositional Parallel Programming Languages. 454-476 - Mohammad R. Haghighat, Constantine D. Polychronopoulos:
Symbolic Analysis for Parallelizing Compilers. 477-518
Volume 18, Number 5, September 1996
- Jens Palsberg, Scott F. Smith:
Constrained Types and Their Expressiveness. 519-527 - Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift:
Principles and Practice of Unification Factoring. 528-563 - Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens:
Global Analysis of Constraint Logic Programs. 564-614 - José M. Piquer:
Indirect Distributed Garbage Collection: Handling Object Migration. 615-647
Volume 18, Number 6, November 1996
- Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee:
Identifying Loops Using DJ Graphs. 649-658 - Jonas Skeppstedt, Per Stenström:
Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols. 659-682 - Todd A. Proebsting, Charles N. Fischer:
Demand-Driven Register Allocation. 683-710 - Isabelle Attali, Denis Caromel, Sidi O. Ehmety:
A Natural Semantics for Eiffel Dynamic Binding. 711-729 - Olivier Danvy, Karoline Malmkjær, Jens Palsberg:
Eta-Expansion Does The Trick. 730-751 - Neng-Fa Zhou:
Parameter Passing and Control Stack Management in Prolog Implementation Revisited. 752-779
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-11-01 22:10 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:
