Map
Index
Random
Help
th

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 > QuoteRef: millT10_2004 , p. abstract



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.


Related Topics up

Topic: object-oriented procedures (41 items)
Group: type checking   (12 topics, 385 quotes)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.