2233 search results - page 23 / 447 » Modular type classes |
102
click to vote
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
109
click to vote
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
NAACL
2010
14 years 9 months ago
2010
Coreference resolution is governed by syntactic, semantic, and discourse constraints. We present a generative, model-based approach in which each of these factors is modularly enc...
OOPSLA
1990
Springer
15 years 3 months ago
1990
Springer
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...