1394 search results - page 65 / 279 » Executing Nested Queries |
165
click to vote
AFP
2008
Springer
15 years 10 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
119
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
148
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
128
click to vote
IFL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
124
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Detecting races is important for debugging shared-memory parallel programs, because the races result in unintended nondeterministic executions of the programs. Previous on-the- y t...