DMCA

Abstract Interpretation for Constraint Handling Rules (2005)

by Tom Schrijvers
Venue:In Proceedings of the 7th Intl. Conference on Principles and Practice of Declarative Programming (PPDP’05
Citations:27 - 17 self