PLC 2005: Las Vegas, Nevada, USA

Intensional Languages, Systems & Applications

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

Language & Compilers for Functional Programming

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

Techniques for Mobile Code, Distributed Systems, & OO Systems

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

Program Analysis & Composition Techniques, and Tool Supports

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

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

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

Effective Techniques for Advanced Languages Features + Loop Optimizations

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

Support for Unanticipated Software Evolution

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

Late Papers

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