Searching for "Elementary Control Structures." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
John Power Edinburgh, January 1995
- …Elementary control structures 1 John Power Edinburgh, January 1995 D R A F T January 95. Comments…
- Add To MetaCart
-
The Modula-2 Proving System MOPS
- …. Introduction 2 2. Calculus 3 3. Specication and verication 4 3.1. Specication of elementary control structures…
- Add To MetaCart
-
Premonoidal Categories and Notions of Computation
- …. Modulo two caveats, control structures have been proved equivalent to elementary control structures…
- Cited by 75 (6 self) – Add To MetaCart
-
Periodic Progress Report
- … to the simpler but less malleable elementary control structures. 3.3. UNIVERSITY OF CAMBRIDGE AND UNIVERSITY…
- Add To MetaCart
-
Biting the Silver Bullet: Toward Brighter Future for System Development
- …, elementary control structures, data types, and data structures were identi- fied, and we learned how to wield…
- Cited by 51 (2 self) – Add To MetaCart
-
A High-speed Watchdog Processor for Multitasking Systems
- … Additional edge Elementary control structures of a programming language can be categorized (resulting from…
- Add To MetaCart
-
Optimisation of Component-based Applications within a Grid Environment
- …). The behavioural CXML also includes elementary control structures such as conditional and iteration elements…
- Cited by 18 (6 self) – Add To MetaCart
-
An Exercise in Polytypic Program Derivation: repmin
- … elementary control structures (e.g. while loops) do in the wp-calculus. Now that the foundations seem to have…
- Cited by 3 (0 self) – Add To MetaCart
-
From Action Calculi to Linear Logic
- … control structures [Pow96]. In this section, we define the models, and give an interpretation of the type…
- Cited by 14 (7 self) – Add To MetaCart
Showing 1 through 9.
