220 search results - page 9 / 44 » A language-based approach to functionally correct imperative... |
203
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
102
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
139
click to vote
DAGSTUHL
1996
15 years 4 months ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
142
click to vote
FAC
2010
15 years 9 days ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
89
Voted
DSVIS
2003
Springer
15 years 8 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...