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
Process Algebras as Specification Language: (work in progress)
✍ Scribed by Friedger Müffke
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 725 KB
- Volume
- 68
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
## Abstract The “overlapping systems” theory of language function argues that linguistic meaning construction crucially relies on contextual information provided by “nonlinguistic” cognitive systems, such as perception and memory. This study examines whether linguistic processing of spatial relatio
This study consisted of data obtained from 297 surveys about career decision‐making influences for students and professionals in speech‐language pathology and audiology. Decision‐making factors were similar across both professions, with personal factors being the most influential. Employment and edu
The phenomenon of spontaneous bubble nucleation in extremely supersaturated (superheated) polymer-solvent systems has been studied experimentally. Spontaneous boilingup temperatures T\* for polystyrene and poly(ethy1ene glycol) solutions in a number of solvents have been measured at different values