1154 search results - page 164 / 231 » Implementing Typed Intermediate Languages |
139
click to vote
POPL
2001
ACM
15 years 10 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
HASKELL
2005
ACM
15 years 3 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
JAVA
2001
Springer
15 years 2 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
PLDI
2000
ACM
15 years 2 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
LREC
2008
14 years 11 months ago
2008
We aim to characterize the comparability of corpora, we address this issue in the trilingual context through the distinction of expert and non expert documents. We work separately...