220 search results - page 1 / 44 » A language-based approach to functionally correct imperative... |
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
ISW
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. An obfuscation aims to transform a program, without affecting the functionality, so that some secret information within the program can be hidden for as long as possible...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
JLP
2007
13 years 4 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...