Treffer: Combining fuzzy logic and behavioral similarity for non-strict program validation

Title:
Combining fuzzy logic and behavioral similarity for non-strict program validation
Source:
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming. :15-26
Database:
ACM Full-Text Collection