E-LIB Suche - Ergebnisse für: Dewar, Robert B. K.

1

The compiler as a static analysis tool:

Dewar, Robert B. K.
ACM SIGAda Ada Letters. XXVII (2007) 3 - p. 83-88 , 2007

Link: https://doi.org/10.1145/..

2

The compiler as a static analysis tool:

, In: Proceedings of the 2007 ACM international conference on SIGAda annual international conference,

Dewar, Robert B. K. - p. 83-88 , 2007

Link: https://dl.acm.org/doi/1..

3

Transformational Derivation of a Garbage Collection Algorit..:

Dewar, Robert B. K. ; Shirar, Micha ; Weixelbaum, Elia
ACM Transactions on Programming Languages and Systems. 4 (1982) 4 - p. 650-667 , 1982

Link: https://doi.org/10.1145/..

4

Transformational Derivation of a Garbage Collection Algorit..:

Dewar, Robert B. K. ; Shirar, Micha ; Weixelbaum, Elia
ACM Transactions on Programming Languages and Systems (TOPLAS). 4 (1982) 4 - p. 650-667 , 1982

Link: https://dl.acm.org/doi/1..

5

Some modified algorithms for Dijkstra's longest upsequence ..:

Dewar, Robert B. K. ; Merritt, Susan M. ; Sharir, Micha
Acta Informatica. 18 (1982) 1 - p. 1-15 , 1982

Link: https://doi.org/10.1007/..

6

The NYU Ada translator and interpreter:

Dewar, Robert B. K. ; Fisher, Gerald A. ; Schonberg, Edmond...
ACM SIGPLAN Notices. 15 (1980) 11 - p. 194-201 , 1980

Link: https://doi.org/10.1145/..

7

The NYU Ada translator and interpreter:

, In: Proceedings of the ACM-SIGPLAN symposium on The ADA programming language,

Dewar, Robert B. K. ; Fisher Jr., Gerald A. ; Schonberg, Edmond... - p. 194-201 , 1980

Link: https://dl.acm.org/doi/1..

8

The NYU Ada translator and interpreter:

, In: Proceedings of the ACM-SIGPLAN symposium on Ada programming language,

Dewar, Robert B. K. ; Fisher, Gerald A. ; Schonberg, Edmond... - p. 194-201 , 1980

Link: https://dl.acm.org/doi/1..

9

Programming by Refinement, as Exemplified by the SETL Repre..:

Dewar, Robert B. K. ; Grand, Arthur ; Liu, Ssu-Cheng..
ACM Transactions on Programming Languages and Systems (TOPLAS). 1 (1979) 1 - p. 27-49 , 1979

Link: https://dl.acm.org/doi/1..

10

Programming by Refinement, as Exemplified by the SETL Repre..:

Dewar, Robert B. K. ; Grand, Arthur ; Liu, Ssu-Cheng..
ACM Transactions on Programming Languages and Systems. 1 (1979) 1 - p. 27-49 , 1979

Link: https://doi.org/10.1145/..

11

The elements of SETL style.:

, In: Proceedings of the 1979 annual conference,

Dewar, Robert B.K. ; Schonberg, Edmond - p. 24-32 , 1979

Link: https://dl.acm.org/doi/1..

12

Indirect threaded code:

Dewar, Robert B. K.
Communications of the ACM. 18 (1975) 6 - p. 330-331 , 1975

Link: https://dl.acm.org/doi/1..

13

Indirect threaded code:

Dewar, Robert B. K.
Communications of the ACM. 18 (1975) 6 - p. 330-331 , 1975

Link: https://doi.org/10.1145/..

14

Snobol languages:

, In: Proceedings of the May 6-10, 1974, national computer conference and exposition,

Griswold, Ralph E. ; Gimpel, James F. ; Dewar, Robert B. K... - p. 981 ff. , 1974

Link: https://dl.acm.org/doi/1..

15

A stable minimum storage sorting algorithm:

Dewar, Robert B.K.
Information Processing Letters. 2 (1974) 6 - p. 162-164 , 1974

Link: https://doi.org/10.1016/..