2496 search results - page 101 / 500 » Error-detecting properties of languages |
168
click to vote
POPL
2000
ACM
15 years 10 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...
163
click to vote
ECAI
2004
Springer
15 years 11 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 ...
132
click to vote
ESOP
2004
Springer
15 years 11 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 ...
142
click to vote
ENTCS
2007
15 years 5 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...
208
click to vote
EMNLP
2010
15 years 3 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...