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

Specification languages

โœ Scribed by Blackledge, Peter

Book ID
114446311
Publisher
The Institution of Electrical Engineers
Year
1983
Weight
591 KB
Volume
130
Category
Article
ISSN
0143-702X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Specification languages
Specification languages
โœ Peter Schnupp ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 579 KB
Formal specification languages
Formal specification languages
โœ Parker, John; Titterington, Graham ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› The Institution of Electrical Engineers โš– 728 KB
Specification languages in algebraic com
Specification languages in algebraic compilers
โœ Eric Van Wyk ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 353 KB

Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for constructing its target language image; these associated computations, called derived operations, are expressed in terms of operat