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

Session 1: Application-specific Languages

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

Session 2: Parallelism

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

Session 3: Modules and Types

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

Session 4: Object-Oriented Languages

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

Session 5: Theory

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

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

Session 6: Visual Programming

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

Session 7: Compilers

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

Session 8: Abstract Interpretation

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

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

Last update Wed May 22 04:57:26 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page