770 search results - page 4 / 154 » Abstract Yourself With Modules |
CONCUR
1997
Springer
15 years 4 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...
ICFP
2006
ACM
16 years 9 days 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 ...
TAPSOFT
1997
Springer
15 years 4 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...
JCM
2007
15 years 7 days 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...
IASTEDSE
2004
15 years 1 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...