4008 search results - page 621 / 802 » An expressive language of signatures |
162
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
176
click to vote
FSEN
2007
Springer
16 years 20 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
150
click to vote
GPCE
2007
Springer
16 years 20 days ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
171
click to vote
ISSRE
2006
IEEE
16 years 16 days 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...
187
click to vote
HASKELL
2006
ACM
16 years 14 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...