default search action
ICCL 1994: Toulouse, France
- Henri E. Bal:
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. IEEE Computer Society 1994, ISBN 0-8186-5640-9
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, You Fu 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
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.