A Predicate Construct for Declarative Programming in Imperative Languages.

James Smith, Xiangyu Guo, Ajay Bansal

Browse the full PPDP paper archive.