10575 search results - page 422 / 2115 » Programming Languages |
310
click to vote
POPL
2004
ACM
16 years 8 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
181
click to vote
PLILP
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
177
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
179
click to vote
ENTCS
2002
15 years 7 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
215
click to vote
ML
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we describe the syntax and semantics for a probabilistic relational language (PRL). PRL is a recasting of recent work in Probabilistic Relational Models (PRMs) into ...