|
Journals in DBLP
Comput. Lang. 1986, volume: 11, number: 3/4
- Paul A. Bailes
Static Checking of Variable Handling in Dijkstra's Guarded Commands Language. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1986, v:11, n:3/4, pp:123-142 [Journal]
- Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand
Obtaining Coroutines with Continuations. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1986, v:11, n:3/4, pp:143-153 [Journal]
- G. Donnan, M. Elizabeth C. Hull
On Processes, Synchronization and Redundant Code in Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1986, v:11, n:3/4, pp:155-160 [Journal]
- Kent Petersson, Jan M. Smith
Program Derivation in Type Theory: A Partitioning Problem. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1986, v:11, n:3/4, pp:161-172 [Journal]
- Barrett R. Bryant, Balanjaninath Edupuganty, Lee S. Hull
Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1986, v:11, n:3/4, pp:173-191 [Journal]
|