2496 search results - page 101 / 500 » Error-detecting properties of languages |
141
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
132
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
110
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
121
Voted
ENTCS
2007
15 years 3 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
179
click to vote
EMNLP
2010
15 years 1 months ago
2010
In this paper, we develop multilingual supervised latent Dirichlet allocation (MLSLDA), a probabilistic generative model that allows insights gleaned from one language's data...