4212 search results - page 539 / 843 » Rights Expression Languages |
177
click to vote
ECOOP
2004
Springer
16 years 1 days ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...
187
Voted
ECOOP
2004
Springer
16 years 1 days ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
172
click to vote
ESOP
2004
Springer
16 years 1 days 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 ...
164
click to vote
GG
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
179
click to vote
GI
2004
Springer
16 years 1 days ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...