462 search results - page 44 / 93 » Function Types in Complete Type Inference |
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of th...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
IFIP
1994
Springer
13 years 11 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
PODC
1999
ACM
13 years 12 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
IFL
2005
Springer
14 years 1 months ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...