18429 search results - page 199 / 3686 » Typing dynamic typing |
169
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
168
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
251
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
148
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
159
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...