17983 search results - page 75 / 3597 » Set Types and Applications |
107
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...
112
click to vote
OOPSLA
1991
Springer
15 years 6 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
129
click to vote
ISCI
2008
15 years 2 months ago
2008
Theories of random sets and fuzzy random sets are useful concepts which are frequently applied in scientific areas including information science, probability and statistics. In th...
119
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
103
click to vote
TPHOL
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...