2496 search results - page 123 / 500 » Error-detecting properties of languages |
CORR
2007
Springer
15 years 22 days ago
2007
Springer
but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges...
134
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
100
click to vote
ICFP
2002
ACM
16 years 21 days ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
106
click to vote
CSLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...
100
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...