WLPE 2013: Workshop Program
Saturday 24 August 2012
14:35 - 15:30: WLPE Invited Talk
- Samir Genaim.
Ranking Functions for Linear-Constraint Loops.
Ranking functions are a tool successfully used in termination
analysis, complexity analysis, and program parallelization. There
exist different techniques for finding different kinds of ranking
functions. In this talk I will concentrate on ranking functions that
are found by linear programming techniques, in particular I will
review recent fundamental results regarding the search for ranking
functions which are either linear or lexicographic-linear. These
results include complete algorithms for synthesizing such functions in
different settings, as well as complexity of the corresponding
15:30 - 16:00: Session 1
16:30 - 17:30: Session 2
Sunday 25 August 2012
14:30 - 16:00: Session 3
Jan Wielemaker and
Why It's Nice to be Quoted: Quasiquoting for Prolog.
Senlin Liang and
Debugging and Profiling Rulelog Computations in Silk
Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java.
16:30 - 17:00: Session 4