This excellent addition to the UTiCS series of undergraduate textbooks provides a detailed and up to date description of the main principles behind the design a

This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the f

This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Com