770 search results - page 4 / 154 » Abstract Yourself With Modules |
116
Voted
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
100
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
101
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
86
Voted
JCM
2007
15 years 2 months ago
2007
Abstract— In this paper, the cooperative diversity with superposition modulation, which has been proposed as an instance of “dirty paper coding”, is theoretically analyzed us...
116
Voted
IASTEDSE
2004
15 years 4 months ago
2004
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In t...