23201 search results - page 154 / 4641 » Rewriting Systems with Data |
172
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
179
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
169
click to vote
FROCOS
2007
Springer
16 years 19 days ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...