by
Dale Miller, Gopalan Nadathur
Language: English
Release Date: June 11, 2012
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational...