3713 search results - page 402 / 743 » Constructing a Calculus of Programs |
149
Voted
ICTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
135
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
118
click to vote
WIA
2005
Springer
15 years 10 months ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...
116
Voted
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
134
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...