3307 search results - page 485 / 662 » The meaning of concurrent programs |
232
Voted
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
201
Voted
EMSOFT
2004
Springer
16 years 13 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
202
Voted
SIGADA
2004
Springer
16 years 11 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
189
Voted
PLDI
2003
ACM
16 years 9 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
211
Voted
PLDI
2010
ACM
16 years 3 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...