ICCL 1994: Toulouse, France

Henri E. Bal (Ed.): Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. IEEE Computer Society 1994 BibTeX

Session 1: Application-specific Languages

David A. Ladd, J. Christopher Ramming: A*: a Language for Implementing Language Processors. 1-10 BibTeX
Todd A. Cook, Edwin A. Harcourt: A Functional Specification Language for Instruction Set Architectures. 11-19 BibTeX
Alan G. Yoder, David L. Cohn: Real Spreadsheets for Real Programmers. 20-30 BibTeX

Session 2: Parallelism

Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski: Region Analysis: A Parallel Elimination Method for Data Flow Analysis. 31-42 BibTeX
Mark Chu-Carroll, Lori L. Pollock: Composites: Trees for Data Parallel Programming. 43-54 BibTeX
Kenneth D. Landry, James D. Arthur: Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in Linda. 55-63 BibTeX

Session 3: Modules and Types

Taizo Kojima, Akira Sugimoto: Customizing C++ to Improve the Reusability of Class Libraries. 64-73 BibTeX
Suresh Jagannathan: Dynamic Modules in Higher-Order Languages. 74-87 BibTeX
Dennis M. Volpano: Haskell-style Overloading is NP-hard. 88-94 BibTeX
Patrick Cousot, Radhia Cousot: Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. 95-112 BibTeX

Session 4: Object-Oriented Languages

Kazuki Yasumatsu, Norihisa Doi: SPiCE: A System for Translating Smalltalk Programs into a C Environment. 113-123 BibTeX
Raju Pandey, James C. Browne: A Compositional Approach to Concurrent Object-Oriented Programming. 124-135 BibTeX
Arthur H. Lee, Joseph L. Zachary: Using Metaprogramming to Add Persistence to CLOS. 136-147 BibTeX
Michael Hitchens, John Rosenberg: A Three-level Object-Based Model. 148-158 BibTeX

Session 5: Theory

Ichiro Satoh, Mario Tokoro: Semantics for a Real-Time Object-Oriented Programming Language. 159-170 BibTeX
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: A Compositional Semantics for Conditional Term Rewriting Systems. 171-182 BibTeX
Robert Glück, Jesper Jørgensen: Generating Optimizing Specializers. 183-194 BibTeX

Panel Session

Jean Paul Bahsoun, Jean-Pierre Briot, Denis Caromel, Louis Féraud, Oscar Nierstrasz, Peter Wegner: How could object-oriented concepts and parallelism cohabit? 195-199 BibTeX

Session 6: Visual Programming

K. Gary Chan, H. Lewis Chau: Visual Language for Behavioral Specifications of Reactive Systems. 200-210 BibTeX
Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond: A Multiparadigm Language for Reactive Systems. 211-218 BibTeX
Marcos A. Rodrigues, Chris W. Loftus, Mark Ratcliffe, Youfu Li: Structure Notation of Dynamic Systems: A Pictorial Language Approach. 219-228 BibTeX

Session 7: Compilers

Ana M. Erosa, Laurie J. Hendren: Taming Control Flow: A Structured Approach to Eliminating Goto Statements. 229-240 BibTeX
Manuel Vilares Ferro, Bernard Dion: Efficient Incremental Parsing for Context-Free Languages. 241-252 BibTeX
Feipei Lai, Yung-kuang Chao: The Complementary Relationship of Interprocedural Register Allocation and Inlining. 253-264 BibTeX

Session 8: Abstract Interpretation

Thomas P. Jensen: Abstract Interpretation over Algebraic Data Types. BibTeX
Jyh-Herng Chow, Williams Ludwell Harrison III: State Space Reduction in Abstract Interpretation of Parallel Programs. 265-276 BibTeX
Jens Palsberg, Michael I. Schwartzbach: Binding-time Analysis: Abstract Interpretation versus Type Inference. 277-288 BibTeX

Panel Session

Boleslaw K. Szymanski, John Feo, J. Hicks, J. Jagannathan, Vivek Sarkar, David B. Skillicorn: Is there a future for functional languages in parallel programming? 299-304 BibTeX