379 search results - page 75 / 76 » The Need for Declarative Security Mechanisms |
OOPSLA
2005
Springer
14 years 25 days ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
ICS
2004
Tsinghua U.
14 years 22 days ago
2004
Tsinghua U.
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...
REFLECTION
2001
Springer
13 years 11 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
POPL
1999
ACM
13 years 11 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
GI
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...