4036 search results - page 390 / 808 » Formal Methods |
156
click to vote
TYPES
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
173
click to vote
SIGSOFT
2003
ACM
16 years 1 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
153
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
167
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
202
click to vote
FMCO
2003
Springer
16 years 9 hour ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...