By Mirek Truszczynski,
University of Kentucky, USA
Polyvariant program specialisation and its application in program analysis and verification
CFP: Theory and Practice of Logic Programming: The 20th Anniversary Issue
Call for Participation: ICLP 2019
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…