3605 search results - page 165 / 721 » Associated types with class |
116
click to vote
IANDC
2010
15 years 2 months ago
2010
Inspired by the classical theory of modules over a monoid, we introduce the natural notion of module over a monad. The associated notion of morphism of left modules (”linear” n...
140
click to vote
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
161
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
125
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
133
click to vote
RTA
1997
Springer
15 years 8 months ago
1997
Springer
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...