5 search results - page 1 / 1 » Well-definedness of Streams by Transformation and Terminatio... |
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
RTA
2010
Springer
13 years 8 months ago
2010
Springer
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
WOWMOM
2009
ACM
13 years 11 months ago
2009
ACM
It is well known that channel-dependent OFDMA resource assignment algorithms provide a significant performance improvement compared to static (i.e. channelunaware) approaches. Su...
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...