2702 search results - page 324 / 541 » Practically Applicable Formal Methods |
126
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
113
Voted
IFL
2003
Springer
15 years 7 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
116
Voted
WCRE
1998
IEEE
15 years 6 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
105
Voted
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
133
Voted
SIGSOFT
1998
ACM
15 years 6 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...