2004 |
20 | EE | Hwei Sheng Teoh,
David B. Wortman:
Tools for Extracting Software Structure from Compiled Programs.
ICSM 2004: 526 |
1998 |
19 | | David B. Wortman:
Compiling at 1000MHz and beyond.
Systems Implementation 2000 1998: 194-206 |
1994 |
18 | | David B. Wortman,
Songnian Zhou,
S. Fink:
Automating Data Conversion for Heterogeneous Distributed Shared Memory.
Softw., Pract. Exper. 24(1): 111-125 (1994) |
1992 |
17 | | David B. Wortman,
Michael D. Junkin:
A Concurrent Compiler for Modula-2+.
PLDI 1992: 68-81 |
16 | EE | Songnian Zhou,
Michael Stumm,
Kai Li,
David B. Wortman:
Heterogeneous Distributed Shared Memory.
IEEE Trans. Parallel Distrib. Syst. 3(5): 540-554 (1992) |
1991 |
15 | | V. Seshadri,
David B. Wortman:
An Investigation into Concurrent Semantic Analysis.
Softw., Pract. Exper. 21(12): 1323-1348 (1991) |
1988 |
14 | | V. Seshadri,
David B. Wortman,
Michael D. Junkin,
S. Weber,
C. P. Yu,
I. Small:
Semantic Analysis in a Concurrent Compiler.
PLDI 1988: 233-240 |
1987 |
13 | | David B. Wortman:
Software Projects in an Academic Environment.
IEEE Trans. Software Eng. 13(11): 1176-1181 (1987) |
1982 |
12 | EE | Richard C. Holt,
James R. Cordy,
David B. Wortman:
An Introduction to S/SL: Syntax/Semantic Language.
ACM Trans. Program. Lang. Syst. 4(2): 149-178 (1982) |
11 | EE | Richard C. Holt,
David B. Wortman:
A Model for Implementing Euclid Modules and Prototypes.
ACM Trans. Program. Lang. Syst. 4(4): 552-562 (1982) |
1981 |
10 | EE | David B. Wortman,
Richard C. Holt,
James R. Cordy,
David R. Crowe,
Ian H. Griggs:
Euclid: a language for compiling quality software.
AFIPS National Computer Conference 1981: 257-263 |
9 | | David B. Wortman,
James R. Cordy:
Early Experiences with Euclid.
ICSE 1981: 27-33 |
1979 |
8 | EE | James R. Cordy,
Richard C. Holt,
David B. Wortman:
Semantic charts: A diagrammatic approach to semantic processing.
SIGPLAN Symposium on Compiler Construction 1979: 39-49 |
7 | EE | Richard C. Holt,
David B. Wortman:
A model for implementing Euclid modules and type templates.
SIGPLAN Symposium on Compiler Construction 1979: 8-12 |
6 | | David B. Wortman:
On Legality Assertions in Euclid.
IEEE Trans. Software Eng. 5(4): 359-367 (1979) |
1978 |
5 | EE | Richard C. Holt,
David B. Wortman,
James R. Cordy,
David R. Crowe:
The Euclid Language: a progress report.
ACM Annual Conference (1) 1978: 111-115 |
1977 |
4 | EE | Richard C. Holt,
David B. Wortman,
David T. Barnard,
James R. Cordy:
SP/k: A System for Teaching Computer Programming.
Commun. ACM 20(5): 301-309 (1977) |
3 | | James J. Horning,
David B. Wortman:
Software Hut: A Computer Program Engineering Project in the Form of a Game.
IEEE Trans. Software Eng. 3(4): 325-330 (1977) |
1976 |
2 | | David B. Wortman:
A Study of High-Resolution Timing.
IEEE Trans. Software Eng. 2(2): 135-137 (1976) |
1 | | David B. Wortman,
Philip J. Khaiat,
David M. Laskar:
Six PL/I Compilers.
Softw., Pract. Exper. 6(3): 411-422 (1976) |