8109 search results - page 166 / 1622 » A Model of Component-Based Programming |
193
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
121
Voted
ICPP
2008
IEEE
15 years 11 months ago
2008
IEEE
View-Oriented Parallel Programming (VOPP) is a novel parallel programming model which uses views for commu
249
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
135
Voted
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
121
Voted
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
