WLPE 2013: Workshop Program
Saturday 24 August 2012
14:30: Opening
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
decision problems.
15:30 - 16:00: Session 1
Coffee break
16:30 - 17:30: Session 2
Sunday 25 August 2012
14:30 - 16:00: Session 3
-
Jan Wielemaker and
Michael Hendricks.
Why It's Nice to be Quoted: Quasiquoting for Prolog.
-
Carl Andersen,
Brett Benyo,
Miguel Calejo,
Mike Dean,
Paul Fodor,
Benjamin Grosof,
Michael Kifer,
Senlin Liang and
Terrance Swift.
Debugging and Profiling Rulelog Computations in Silk
-
Dragan Ivanovic.
Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java.
Coffee break
16:30 - 17:00: Session 4
|