| 
|
Quote: predicate dispatch invokes a method only if a predicate is true; JPred uses decision procedures for dispatch and type checking; based on Cooperating Validity Checker (CVC)
topics >
all references >
references m-o >
Topic:
object-oriented procedures
Group:
type checking
Quotation Skeleton
Predicate dispatch is an object-oriented (OO) language mechanism … method implementation includes a predicate guard specifying the … We introduce JPred, a backward-compatible extension to Java … [p. 346] We use decision procedures both to compute … and to ensure exhaustiveness and unambiguity of functions, … Our implementation uses CVC Lite [ref], a successor … [ref]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: object-oriented procedures (41 items)
Group: type checking (12 topics, 385 quotes)