250 search results - page 15 / 50 » State Isomorphism in Model Programs with Abstract Data Struc... |
132
click to vote
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
129
click to vote
ESA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
139
click to vote
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
125
click to vote
UM
2007
Springer
15 years 9 months ago
2007
Springer
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
119
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...