Sciweavers

ACSD   2001 International Conference on Application of Concurrency to System Design
Wall of Fame | Most Viewed ACSD-2001 Paper
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 3 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source134
2Download preprint from source121
3Download preprint from source118
4Download preprint from source112
5Download preprint from source103
6Download preprint from source102
7Download preprint from source91
8Download preprint from source83
9Download preprint from source74