4211 search results - page 72 / 843 » Types as Abstract Interpretations |
111
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Despite the widespread usage of DNA microarrays, questions remain about how best to interpret the wealth of gene-by-gene transcriptional levels that they measure. Rece...
116
click to vote
ENTCS
2007
15 years 3 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...
127
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
132
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
139
click to vote
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number o...