4036 search results - page 341 / 808 » Formal Methods |
207
click to vote
AFP
2008
Springer
16 years 1 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...
195
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this short paper we describe the setup and results of a new initiative to compare graph transformation tools, carried out as part of the AGTIVE 2007 symposium on “Ap...
199
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...
180
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A...
212
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...