Abstract is missing.
- Abstract Interpretation over Algebraic Data TypesThomas P. Jensen.
- A*: a Language for Implementing Language ProcessorsDavid A. Ladd, J. Christopher Ramming. 1-10
- A Functional Specification Language for Instruction Set ArchitecturesTodd A. Cook, Edwin A. Harcourt. 11-19
- Real Spreadsheets for Real ProgrammersAlan G. Yoder, David L. Cohn. 20-30
- Region Analysis: A Parallel Elimination Method for Data Flow AnalysisYong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski. 31-42
- Composites: Trees for Data Parallel ProgrammingMark Chu-Carroll, Lori L. Pollock. 43-54
- Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in LindaKenneth D. Landry, James D. Arthur. 55-63
- Customizing C++ to Improve the Reusability of Class LibrariesTaizo Kojima, Akira Sugimoto. 64-73
- Dynamic Modules in Higher-Order LanguagesSuresh Jagannathan. 74-87
- Haskell-style Overloading is NP-hardDennis M. Volpano. 88-94
- Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER AnalysisPatrick Cousot, Radhia Cousot. 95-112
- SPiCE: A System for Translating Smalltalk Programs into a C EnvironmentKazuki Yasumatsu, Norihisa Doi. 113-123
- A Compositional Approach to Concurrent Object-Oriented ProgrammingRaju Pandey, James C. Browne. 124-135
- Using Metaprogramming to Add Persistence to CLOSArthur H. Lee, Joseph L. Zachary. 136-147
- A Three-level Object-Based ModelMichael Hitchens, John Rosenberg. 148-158
- Semantics for a Real-Time Object-Oriented Programming LanguageIchiro Satoh, Mario Tokoro. 159-170
- A Compositional Semantics for Conditional Term Rewriting SystemsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. 171-182
- Generating Optimizing SpecializersRobert Glück, Jesper Jørgensen. 183-194
- How could object-oriented concepts and parallelism cohabit?Jean Paul Bahsoun, Jean-Pierre Briot, Denis Caromel, Louis Féraud, Oscar Nierstrasz, Peter Wegner. 195-199
- Visual Language for Behavioral Specifications of Reactive SystemsK. Gary Chan, H. Lewis Chau. 200-210
- A Multiparadigm Language for Reactive SystemsMuriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond. 211-218
- Structure Notation of Dynamic Systems: A Pictorial Language ApproachMarcos A. Rodrigues, Chris W. Loftus, Mark Ratcliffe, Youfu Li. 219-228
- Taming Control Flow: A Structured Approach to Eliminating Goto StatementsAna M. Erosa, Laurie J. Hendren. 229-240
- Efficient Incremental Parsing for Context-Free LanguagesManuel Vilares Ferro, Bernard Dion. 241-252
- The Complementary Relationship of Interprocedural Register Allocation and InliningFeipei Lai, Yung-kuang Chao. 253-264
- State Space Reduction in Abstract Interpretation of Parallel ProgramsJyh-Herng Chow, Williams Ludwell Harrison III. 265-276
- Binding-time Analysis: Abstract Interpretation versus Type InferenceJens Palsberg, Michael I. Schwartzbach. 277-288 [doi]
- Is there a future for functional languages in parallel programming?Boleslaw K. Szymanski, John Feo, J. Hicks, J. Jagannathan, Vivek Sarkar, David B. Skillicorn. 299-304