327 search results - page 8 / 66 » Extensible programming with first-class cases |
ECOOP
2000
Springer
13 years 12 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
ISSRE
2002
IEEE
14 years 17 days ago
2002
IEEE
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...
ERSHOV
2003
Springer
14 years 26 days ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
ISSRE
2006
IEEE
14 years 1 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...