18429 search results - page 198 / 3686 » Typing dynamic typing |
171
click to vote
ECOOP
2007
Springer
16 years 21 days ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
142
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
A key emerging and popular communication paradigm, primarily employed for information dissemination, is peer-to-peer (P2P) networking. In this paper, we model the spread of malwar...
126
click to vote
CIKM
2005
Springer
16 years 2 days ago
2005
Springer
Record deduplication is the task of merging database records that refer to the same underlying entity. In relational databases, accurate deduplication for records of one type is o...
197
click to vote
CSL
2005
Springer
16 years 2 days ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
151
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...