PLC 2005: Las Vegas, Nevada, USA

Hamid R. Arabnia (Ed.): Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005. CSREA Press 2005, ISBN 1-932415-75-0

Intensional Languages, Systems & Applications

Ruchi Agarwal, William W. Wadge: The Lazy Evaluation of Infinitesimal Logic Expressions. 3-7
Joey Paquet, Aihua Wu: GIPSY - A Platform for the Investigation on Intensional Programming Languages. 8-14
Peter Grogono, Serguei A. Mokhov, Joey Paquet: Toward JLucid, Lucid with Embedded Java Functions in the GIPSY. 15-21
Serguei A. Mokhov, Joey Paquet: Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY. 22-28
Emil Vassev, Joey Paquet: A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. 29-35
Serguei A. Mokhov, Joey Paquet: General Imperative Compiler Framework within the GIPSY. 36-42
Aihua Wu, Joey Paquet: Object-Oriented Intensional Programming in the GIPSY: Preliminary Investigations. 43-47
Kaiyu Wan, Vasu S. Alagar, Joey Paquet: Lucx: Lucid Enriched with Context. 48-56

Language & Compilers for Functional Programming

Marco T. Morazán: Towards Closureless Functional Languages. 57-63
Daniel E. Cooke, J. Nelson Rushton: SequenceL - An Overview of a Simple Language. 64-70
Chengpu Wang: Toward Functionality Oriented Programming. 71-77
David Dodds: Components of Meta-Programming, Computer Analogies and Metaphors. 78-86

Techniques for Mobile Code, Distributed Systems, & OO Systems

Borys J. Bradel, Tarek S. Abdelrahman: A Characterization of Traces in Java Programs. 87-93
Richard West, Gary T. Wong: Cuckoo: a Language for Implementing Memory- and Thread-safe System Services. 94-100
Haitong Xu, Sheng Yu: Adding States into Object Types. 101-107
Weichang Du, Qian Jia: A Programming System for Peer-to-Peer Computing. 108-114

Program Analysis & Composition Techniques, and Tool Supports

Keith D. Cooper, Jason Eckhardt: Improved Passive Splitting. 115-122
Christian Heinlein: Null Values in Programming Languages. 123-129
Barbara Mucha, Marco T. Morazán: Exploiting Syntactic Analysis for Lambda Lifting. 130-136
Michael M. J. Zastre, John Aycock: An Exceptional Programming Language. 137
Zorica Suvajdzin, Miroslav Hajdukovic: Towards Program Composing Assistants. 142-150

Language Support: Security, Safety, Exceptional Handling + Garbage Collection

Hajime Inoue: Inferring Java Security Policies Through Dynamic Sandboxing. 151-157
Christian Hummert, Gisela Menger: New Programming Language Concepts for Confidentiality. 158-164
Alexander Gruler, Christian Heinlein: Exception Handling with Resumption: Design and Implementation in Java. 165-171
Kevin M. Cleereman: Container Types for Automatic Garbage Collection in Hard Real-Time Computing. 172-178
Sergiy Kyrylkov, Darko Stefanovic: Garbage Collection With a Large Address Space for Server Applications. 179-186

Effective Techniques for Advanced Languages Features + Loop Optimizations

Robert Chun, Azeem S. Jiva: Compilation Scheduling for the Java Virtual Machine. 187-193
Patrick Renner, Axel Rauschmayer: TUBE - Structure-Orientation in a Prototype-Based Programming Environment. 194-200
Bryan Crawley, Raphael A. Finkel: Micky: Methods With Implicit Calls. 201-206
Paniti Netinant, Tzilla Elrad: A Framework for Extensible and Adaptable System Software. 207-213
Bing Dong Li, Mansur H. Samadzadeh: A Comparison of Z and UML: Two Case Studies. 214-222

Support for Unanticipated Software Evolution

Mark Evered: Object and Access Evolution in Jarrah. 223-229
Yves Vandewoude, Yolande Berbers: Component State Mapping for Runtime Evolution. 230-236
Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan: Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts. 237-244

Late Papers

Cong-cong Xing, Boumediene Belkhouche: Object Interdependencies, Behaviors, Semantics, and Types. 245-