Conference Proceedings

Abstract interpretation for constraint handling rules

T Schrijvers, PJ Stuckey, GJ Duck

Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming | Published : 2005

Citation metrics