Abstract interpretation for constraint handling rules
Citations
Altmetric
Author
SCHRIJVERS, T.; STUCKEY, P.; DUCK, G.Date
2005Source Title
Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative ProgrammingPublisher
ACM PressAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperAccess Status
This item is currently not available from this repositoryKeywords
Computer SoftwareExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References