By John P. Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Madrid, [email protected] Abstract: Specialisation is a program transformation that transforms a program with respect to given constraints that restrict its behaviour. Typically, the goal is to optimise a program, but specialisation can also…
CFP: Theory and Practice of Logic Programming: The 20th Anniversary Issue
Following the example of a highly successful and influential special issue of the Journal of Logic Programming, commemorating the 10th anniversary of the journal in 1994, the Editorial and Advisory Boards of TPLP propose to publish a special issue of…
Call for Participation: ICLP 2019
CALL FOR PARTICIPATION – ICLP 2019 – https://logicprogramming.org/iclp2019/ The 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA ———————————————————- Since the first conference held in Marseille in 1982, ICLP has been the premier international event…
Editorial, Volume 32, No. 2, August 2019
Are you back in office after vacation? Or are your still holding your feet into the sea or climbing mountains? In both cases, you can enjoy reading the contents of your favorite newsletter. We have three feature articles: Dynamic and…
Dynamic and Temporal Answer Set Programming on Linear Finite Traces
By Pedro Cabalar and Torsten Schaub,University of Corunna, Spain and University of Potsdam, Germany Download Paper
An Arboriculture Approach for Parallel SMT and Symbolic Model Checking
by M. Marescotti, A.E.J. Hyvärinen, N. SharyginaFormal Verification and Security LabUniversità della Svizzera ItalianaSwitzerland FULL PAPER Abstract: The inherent complexity of parallel computing makes development, resource monitoring, and debugging for parallel constraint-solving-based applications difficult. This paper presents SMTS, a framework for parallelizing sequential constraint…