2290 search results - page 80 / 458 » Extensible Protected Types |
133
click to vote
LPAR
2010
Springer
15 years 9 days ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
131
click to vote
TKDE
2010
14 years 9 months ago
2010
The RETE algorithm is a very efficient option for the development of a rule-based system, but it supports only boolean, first order logic. Many real-world contexts, instead, requir...
NETWORK
2008
15 years 2 months ago
2008
The Domain Name System (DNS) is the global lookup service for network resources. To protect DNS information, the DNS Security Extensions (DNSSEC) have been developed and deployed ...
113
Voted
MLQ
2002
15 years 2 months ago
2002
We will analyze some extensions of Martin-L
118
click to vote
POPL
1995
ACM
15 years 6 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...