Abstract is missing.
- Computer Architectures and Programming Models for Scalable Parallel ComputingMarc Snir. 1
- Array Data-Flow Analysis and its Use in Array PrivatizationDror E. Maydan, Saman P. Amarasinghe, Monica S. Lam. 2-15
- Automatic Array Alignment in Data-Parallel ProgramsSiddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng. 16-28
- A Novel Framework of Register Allocation for Software PipeliningQi Ning, Guang R. Gao. 29-42
- Call by Name, Assignment, and the Lambda CalculusMartin Odersky, Dan Rabin, Paul Hudak. 43-56
- On the Orthogonality of Assignments and Procedures in AlgolStephen Weeks, Matthias Felleisen. 57-70
- Imperative Functional ProgrammingSimon L. Peyton Jones, Philip Wadler. 71-84
- Communicating Reactive ProcessesG. Berry, S. Ramesh, R. K. Shyamasundar. 85-98
- Semantics for Communication Primitives in an Polymorphic LanguageAtsushi Ohori, Kazuhiko Kato. 99-112
- A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of MLDamien Doligez, Xavier Leroy. 113-123
- Separating Stages in the Continuation-Passing Style TransformationJulia L. Lawall, Olivier Danvy. 124-136
- Specifying the Correctness of Binding-Time AnalysisMitchell Wand. 137-143
- A Natural Semantics for Lazy EvaluationJohn Launchbury. 144-154
- An Introduction to Logical Relations and Parametric Polymorphism - TutorialJohn C. Reynolds. 155-156
- Formal Parametric PolymorphismMartÃn Abadi, Luca Cardelli, Pierre-Louis Curien. 157-170
- Relational Parametricity and Local VariablesPeter W. O Hearn, Robert D. Tennent. 171-184
- Algebraic Reasoning and Completeness in Typed LanguagesJon G. Riecke, Ramesh Subrahmanyam. 185-195
- Graph TypesNils Klarlund, Michael I. Schwartzbach. 196-205
- Explicit Polymorphism and CPS ConversionRobert Harper, Mark Lillibridge. 206-219
- Polymorphism by Name for References and ContinuationsXavier Leroy. 220-231
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side EffectsJong-Deok Choi, Michael G. Burke, Paul R. Carini. 232-245
- Automatic Generation and Management of Interprocedural Program AnalysesKwangkeun Yi, Williams Ludwell Harrison III. 246-259
- Static Single Assignment for Explicitely Parallel ProgramsHarini Srinivasan, James Hook, Michael Wolfe. 260-272
- Constructing Call Multigraphs Using Dependence GraphsArun Lakhotia. 273-284
- Safe Type Checking in a Statically-Typed Object-Oriented Programming LanguageKim B. Bruce. 285-298
- Object-Oriented Programming without Recursive TypesBenjamin C. Pierce, David N. Turner. 299-312
- A Constructive Logic of Multiple SubtypingHarry G. Mairson. 313-324
- Stratified Functional Programs and Computational ComplexityDaniel Leivant. 325-333
- The 3 R s of Optimizing Constraint Logic Programs: Refinement, Removal and ReorderingKim Marriott, Peter J. Stuckey. 334-344
- Layer Sharing: An Improved Structure-Sharing FrameworkEric Villemonte de la Clergerie. 345-358
- Differential Logic ProgrammingAnnalisa Bossi, Michele Bugliesi. 359-370
- Evicted Variables and the Interaction of Global Register Allocation and Symbolic DebuggingAli-Reza Adl-Tabatabai, Thomas R. Gross. 371-383
- Incremental Program Testing Using Program Dependence GraphsSamual Bates, Susan Horwitz. 384-396
- Complexity of Bidirectional Data Flow AnalysisDhananjay M. Dhamdhere, Uday P. Khedker. 397-408
- Type Checking Type ClassesTobias Nipkow, Christian Prehofer. 409-418
- Efficient Recursive SubtypingDexter Kozen, Jens Palsberg, Michael I. Schwartzbach. 419-428
- A Sort Inference Algorithm for the Polyadic Pi-CalculusSimon J. Gay. 429-438
- Smartest RecompilationZhong Shao, Andrew W. Appel. 439-450 [doi]
- Compositional Analysis of Modular Logic ProgramsMichael Codish, Saumya K. Debray, Roberto Giacobazzi. 451-464
- Extending Record Typing to Type Parametric Modules with SharingMaria Virginia Aponte. 465-478
- Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical ScopesShinn-Der Lee, Daniel P. Friedman. 479-492
- Tutorial Notes on Partial EvaluationCharles Consel, Olivier Danvy. 493-501
- A Categorized Bibliography on Incremental ComputationGanesan Ramalingam, Thomas W. Reps. 502-510 [doi]