18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
A Backward Analysis for Constraint Logic Programs
A classification of invasive patterns in AOP
A Comparative Study of Arithmetic Constraints on Integer Intervals
A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems
A compositional Semantics for CHR
A computational system for the automatic and simultaneous acquisition of radio telescope data from four different directions
A Concurrent Language with a Uniform Treatment of Regions and Locks
A Consistent Semantics of Self-Adjusting Computation
A Constraint Network Based Approach to Memory Layout Optimization
A CONVERT compiler of REC for PDP-8
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
A decompilation of the pi-calculus and its application to termination
A Delta Debugger for ILP Query Execution
A Denotational Semantics for First-Order Logic
A Design and Implementation of the Extended Andorra Model
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report)
A DSEL for Studying and Explaining Causation
A family of abstract interpretations for static analysis of concurrent higher-order programs