315 search results - page 62 / 63 » Reasoning about Assignments in Recursive Data Structures |
121
click to vote
SIGSOFT
2007
ACM
16 years 10 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
181
Voted
POPL
2006
ACM
15 years 12 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
118
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
111
click to vote
ICWE
2003
Springer
15 years 4 months ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...