4166 search results - page 138 / 834 » A modular module system |
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
TIC
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
SIAMCO
2000
13 years 10 months ago
2000
Abstract. For discrete-time linear systems over a principal ideal domain, three types of (C, A)invariance can be distinguished. Connections between these notions are investigated. ...
TCOM
2008
13 years 10 months ago
2008
In this paper, we investigate the resource allocation in a differentially modulated relay network. In addition to the energy optimization, we also consider location optimization to...
LCTRTS
2010
Springer
14 years 5 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...