1154 search results - page 3 / 231 » Implementing Typed Intermediate Languages |
92
Voted
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
107
Voted
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
107
Voted
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
122
Voted
CC
2003
Springer
15 years 6 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
117
click to vote
COMPSAC
2011
IEEE
14 years 28 days ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...