ADVANCE PROGRAM IEEE Computer Society 1994 International Conference on Computer Languages Universit\'e Paul Sabatier, Toulouse, France, May 16-19, 1994 Sponsored by the IEEE Computer Society Technical Committee on Computer Languages In Cooperation with ACM SIGPLAN and IRIT Monday, May 16, 1994 7:00 am Registration 8:00-12:00 noon: Tutorial One: Abstract Interpretation Patrick Cousot, \'Ecole Normale Sup\'erieure, Paris 2:00-6:00 pm: Tutorial Two: The G\"odel Programming Language John W. Lloyd University of Bristol Tuesday, May 17 7:00 am Conference Registration 8:30-9:00 Conference Welcome 9:00-10:00 Keynote Address: Robert Dewar, New York University 10:00-10:30 Coffee Break 10:30-12:00 noon Application-specific Languages Session chair: Henri Bal A*: a Language for Implementing Language Processors David A. Ladd, J. Christopher Ramming AT&T Bell Laboratories A Functional Specification Language for Instruction Set Architectures Todd A. Cook, Rutgers University, and Ed Harcourt, North Carolina State University Real Spreadsheets for Real Programmers Alan G. Yoder, David L. Cohn University of Notre Dame 12:00-2:00 pm Lunch Break 2:00-3:30 pm Parallelism Session chair: Shaula Yemini Region Analysis: A Parallel Elimination Method for Data Flow Analysis Yong-fong Lee, IBM Santa Theresa Lab Barbara G. Ryder, Rutgers University, and Marc E. Fiuczynski, University of Washington Composites: Trees for Data Parallel Programming Mark C. Carroll, Lori Pollock University of Delaware Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in Linda Kenneth Landry, James D. Arthur Virginia Tech 3:30-4:00 pm Coffee Break 4:00-5:30 pm Modules and Types Session chair: Peter Wegner Customizing C++ to Improve the Reusability of Class Libraries Taizo Kojima, Akira Sugimoto, Mitsubishi Electric Corporation Dynamic Modules in Higher-Order Languages Suresh Jagannathan NEC Research Institute Haskell-style Overloading is NP-hard Dennis M. Volpano Naval Postgraduate School 6:00-8:00 pm Reception Wednesday, May 18 8:30-9:30 Invited Talk: Patrick Cousot, \'Ecole Normale Sup\'erieure 9:30-10:00 Coffee Break 10:00-12:00 noon Object-Oriented Languages Session chair: Jean Paul Bahsoun SPiCE: A System for Translating Smalltalk Programs into a C Environment Kazuki Yasumatsu, Fuji Xerox Co., and Norihisa Doi, Keio University A Compositional Approach to Concurrent Object-Oriented Programming Raju Pandey and James C. Browne, University of Texas at Austin Using Metaprogramming to Add Persistence to CLOS Arthur H. Lee, Korea University, and Joseph L. Zachary, University of Utah A Three-level Object-Based Model Michael Hitchens, University of Western Sydney, and John Rosenberg, University of Sydney 12:00-2:00 pm Lunch Break 2:00-3:30 Theory Session chair: Christian Queinnec Semantics for a Real-Time Object-Oriented Programming Language Ichiro Satoh and Mario Tokoro, Keio University A Compositional Semantics for Conditional Term Rewriting Systems Maria Alpuente, Universidad Polit\'ecnica de Valencia, Moreno Falaschi, Universita di Padova, and Maria Jose Ramis, German Vidal, Universidad Polit\'ecnica de Valencia Generating Optimizing Specializers Robert Gl\"uck and Jesper J\o rgensen University of Copenhagen 3:30-4:00 Coffee Break 4:00-5:30 Panel Session How could object-oriented concepts and parallelism cohabit? Panelists: J.P. Bahsoun (mod.), J.P. Briot, D. Caromel, L. Feraud, O. Nierstrasz, P. Wegner Thursday, May 19 8:30-10:00 Visual Programming Session chair: Tim Budd Visual Language for Behavioral Specifications of Reactive Systems K. Gary Chan, H. Lewis Chau Hong Kong University of Science & Technology A Multiparadigm Language for Reactive Systems Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, and Pascal Raymond VERIMAG-SPECTRE Structure Notation of Dynamic Systems: A Pictorial Language Approach Marcos Rodrigues, Chris Loftus, Mark Ratcliffe, Youfu Li The University of Wales, Aberystwyth 10:00-10:30 Coffee Break 10:00-12:00 noon Compilers Session chair: Des Watson Taming Control Flow: A Structured Approach to Eliminating Goto Statements Ana M. Erosa and Laurie J. Hendren McGill University Efficient Incremental Parsing for Context-Free Languages Manuel Vilares Ferro, Universidad de La Coru\~na, and Bernard Dion, Simulog The Complementary Relationship of Interprocedural Register Allocation and Inlining Feipei Lai and Yung-kuang Chao, National Taiwan University 12:00-2:00 pm Lunch Break 2:00-3:30 Abstract Interpretation Session chair: Patrick Cousot Abstract Interpretation over Algebraic Data Types Thomas P. Jensen, Ecole Polytechnique State Space Reduction in Abstract Interpretation of Parallel Programs Jyh-Herng Chow, IBM Santa Teresa Lab, and Williams Ludwell Harrison III, Ctr. for Supercomputing R & D Binding-time Analysis: Abstract Interpretation versus Type Inference Jens Palsberg, Michael I. Schwartzbach Aarhus University 3:30-4:00 Coffee Break 4:00-5:30 Panel Session: Is there a future for functional languages in parallel programming? Panelists: B. Szymanski (mod.), J. Feo, J. Hicks, J. Jagannathan, V. Sarkar, D. Skillcorn For more information, contact Boumediene Belkhouche, bb@cs.tulane.edu +1(504) 865-5840 (phone), +1(504) 862-8747 (fax). Conference registration and Hotel information can be found at ftp site rex.cs.tulane.edu in the directory pub/bb/iccl94 -- Send compilers articles to compilers@iecc.com or {ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request@iecc.com.