10072 search results - page 389 / 2015 » Composition of Model Programs |
243
click to vote
KBSE
2007
IEEE
16 years 1 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 ...
157
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
View-Oriented Parallel Programming (VOPP) is a novel parallel programming model which uses views for commu
297
click to vote
POPL
2009
ACM
16 years 7 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...
181
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
187
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...