Available Project Deliverables

D1: Project Presentation

D2: Dissemination and Use Plan (non-public)

D3: Requirements Report

D4: Integrated Abstract Interpretation and On-line Specialization

D5: Efficient Off-line Specialization

D6: Specialization of Real Life CLP Languages

D7: Definition of Case Studies

D8: First Prototype

D9: Specialization for Size Reduction

D10: Benchmark Library

D11: Initial Web Site

D12: Self-tuning Specialization Systems

D13: Safety in Pervasive Computing

D14: Results of Case Studies: First Cycle

D15: Low-level Cost Model

D16: Specialization at Abstract Machine Level

D17: Combined Static and Dynamic Checking

D18: Prototype Simulation Tool

D19: Analysis and Specialization of Other Languages Using CLP Tools

D20: Run-time Checking in Pervasive Computing

D21: Final Integrated Tool

D22: Results of Case Studies: Second Cycle

D23: Evaluation Report

D24: Development Method for Pervasive Systems

D25: Information Spreading

D26: Web Site