1023 search results - page 65 / 205 » A Formal Method for Program Slicing |
117
click to vote
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
105
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
185
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
101
click to vote
FMCO
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
139
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...