Lower bounds on type checking overloading

Authors:
Dennis M. Volpano
Affiliations:
-
Venue:
Information Processing Letters
Year:
1996

Citing 0
Cited 2

Constraint-set satisfiability for overloading

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Overloading is NP-Complete

Logic and Program Semantics

Quantified Score

Hi-index	0.90

Visualization

Abstract