Searching for "Elementary Control Structures." – sorted by Relevance.
-
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

