797 search results - page 101 / 160 » Eliminating Proofs from Programs |
111
click to vote
SPLC
2008
15 years 2 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
129
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different s...
95
Voted
ISSTA
2010
ACM
15 years 27 days ago
2010
ACM
With the advent of increasingly larger parallel machines, debugging is becoming more and more challenging. In particular, applications at this scale tend to behave non-determinist...
106
Voted
ICFP
2008
ACM
16 years 20 days ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
121
Voted
SP
2008
IEEE
15 years 19 days ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...