269 search results - page 36 / 54 » Verification of Parameterized Systems Using Logic Program Tr... |
113
click to vote
ECAIW
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
122
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
235
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
134
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
239
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...