๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A denotational semantics for Handel-C

โœ Scribed by Andrew Butterfield

Publisher
Springer
Year
2010
Tongue
English
Weight
253 KB
Volume
23
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An Operational Semantics for Handel-C
An Operational Semantics for Handel-C
โœ Andrew Butterfield; Jim Woodcock ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 189 KB
Semantic Domains for Handel-C
Semantic Domains for Handel-C
โœ Andrew Butterfield; Jim Woodcock ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 211 KB

Handel-C is a programming language which is a hybrid of CSP and C, designed to target hardware implementations, specifically field-programmable gate arrays (FPGAs). The language is C-like with CSP-like parallel constructs and channel communication added. All assignments and channel communication eve

Coherent Banach spaces: a continuous den
Coherent Banach spaces: a continuous denotational semantics
โœ Jean-Yves Girard ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 171 KB

We present a denotational semantics based on Banach spaces; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm: coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm