SAC 2000: Electronic Proceedings

Programming Languages Track

Track chair:Chang-Hyun Jo, University of North Dakota
*Testing Java Programs Using Dynamic Data Flow Analysis
A.S. Boujarwah, K. Saleh, J. Al-Dallal, Kuwait University, Kuwait
The GNU Prolog System and its Implementation
Daniel Diaz, University of Paris 1, France
Philippe Codognet, University of Paris 6, France
The Role of Transaction Management in CORBA/ODB Integrated Systems' Performance
Vahe Amirbekyan, Krzysztof Zielinski, University of Mining and Metallurgy, Poland
Reverse Engineering of Use Case Realizations in UML
Dragan Bojic, Dusan Velasevic, University of Belgrade, Yugoslavia
WCML: Paving the Way for Reuse in Object-Oriented Web Engineering
Martin Gaedke, Christian Segor, Hans-Werner Gellerson, University of Karlsruhe, Germany
Operational Semantics of Rewriting with the On-demand Evaluation Strategy
Kazuhiro Ogata, Kokichi Futatsugi, JAIST, Japan
*POOL: A Persistent Object-Oriented Language
C.J. Harrison, Majid Naeem, UMIST, UK
Reducing the Impact of Software Prefetching on Register Pressure
David W. Shrewsbury, Listing Services Solutions, Inc., USA
Cindy Norris, Appalachian State University, USA
Profile Assisted Register Allocation
William C. Kreahling, Cindy Norris, Appalachian State University, USA
A Side-Effect-Free Hierarchical Radiosity Algorithm
John O’Donnell, University of Glasgow, UK
Thomas Rauber, Martin-Luther Universitat, Germany
Gudula Runger, Universitat Leipzig, Germany
An Approach for Modeling the Name Lookup Problem in the C++ Programming Language
James F. Power, National University of Ireland, Ireland
Brian A. Malloy, Clemson University, USA
*Web-Based Money Investment Consultant
Wolfgang Golubski, Thomas Feuring, Universitat - GH Siegen, Germany
Johannes-Bernhard Hundhege, GAD Muenster, Germany
Domain Specific Meta Languages
Eric Van Wyk, Oxford University Computing Lab, UK
A Formal Model for the Parallel Semantics of P3L
A. Cavarra, E. Riccobene, Univerisità di Catania, Italy
A. Zavanella, Univerisità di Pisa, Italy
SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation
Alexandre Lenart, Christopher Sadler, Sandeep K.S. Gupta, Colorado State University, USA
*Towards the Usage of Dynamic Object Aggregations as a Foundation for Composition
Gustaf Neumann, Vienna University of Economics and BA, Austria
Uwe Zdun, University of Essen, Germany
Verifying Object Initialization in the Java Bytecode Language
Stephane Doyon, Mourad Debbabi, Laval University, Canada
Espresso: A Slicer Generator
Sebastian Danicic, University of North London, England
Mark Harman, University of London, England
*Eclectic CSP: A Language of Concurrent Processes
Quentin Miller, Bernard Sufrin, Oxford University Computing Lab, UK
Parallel-C++ for the Java Virtual Machine
Timothy E. Denehy, University of Dayton, USA
Chang-Hyun Jo, University of North Dakota, USA
Short papers marked with '*'