18429 search results - page 198 / 3686 » Typing dynamic typing |
180
click to vote
ECOOP
2007
Springer
16 years 1 months 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 ...
153
Voted
IPPS
2006
IEEE
16 years 1 months 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...
139
click to vote
CIKM
2005
Springer
16 years 18 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...
219
click to vote
CSL
2005
Springer
16 years 18 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 ...
162
click to vote
CCS
2004
ACM
16 years 14 days 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...