4814 search results - page 661 / 963 » Combining abstract interpreters |
207
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
158
Voted
EGICE
2006
15 years 9 months ago
2006
Reusing or modifying known design concepts cannot meet new challenges for engineering systems. However, engineers can find inspiration outside their traditional domains in order to...
148
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
142
Voted
ESORICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
143
click to vote
JMLC
2000
Springer
15 years 8 months ago
2000
Springer
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...