1636 search results - page 190 / 328 » Type-Theoretic Functional Semantics |
125
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
144
click to vote
POLICY
2001
Springer
15 years 8 months ago
2001
Springer
To control complicated and decomposable networking functions, such as Diffserv, two or more policies must cooperate. Combining two or more mutually dependent policies for a specifi...
160
click to vote
GLVLSI
2000
IEEE
15 years 8 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
145
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
114
click to vote
DL
1994
Springer
15 years 8 months ago
1994
Springer
In this chapter we argue that hyperdocuments administered by digital libraries have to be structured according to standardized storage and exchange formats in order to allow for t...