David B. Wortman

Publication Activity (10 Years)

Years Active: 1968-2004
Publications (10 Years): 0

Publications

Hwei Sheng Teoh, David B. Wortman
Tools for Extracting Software Structure from Compiled Programs. ICSM (2004)
David B. Wortman
Compiling at 1000MHz and beyond. Systems Implementation 2000 (1998)
David B. Wortman, Songnian Zhou, S. Fink
Automating Data Conversion for Heterogeneous Distributed Shared Memory. Softw. Pract. Exp. 24 (1) (1994)
David B. Wortman, Michael D. Junkin
A Concurrent Compiler for Modula-2+. PLDI (1992)
Songnian Zhou, Michael Stumm, Kai Li, David B. Wortman
Heterogeneous Distributed Shared Memory. IEEE Trans. Parallel Distributed Syst. 3 (5) (1992)
V. Seshadri, David B. Wortman
An Investigation into Concurrent Semantic Analysis. Softw. Pract. Exp. 21 (12) (1991)
V. Seshadri, David B. Wortman, Michael D. Junkin, S. Weber, C. P. Yu, I. Small
Semantic Analysis in a Concurrent Compiler. PLDI (1988)
Thomas E. Hull, Marty S. Cohen, J. T. M. Sawshuk, David B. Wortman
Exception handling in scientific computing. ACM Trans. Math. Softw. 14 (3) (1988)
David B. Wortman
Software Projects in an Academic Environment. IEEE Trans. Software Eng. 13 (11) (1987)
Robin J. Miner, Jerome D. Sabuda, David B. Wortman
Graphics and simulation: tools and applications. WSC (1982)
Richard C. Holt, James R. Cordy, David B. Wortman
An Introduction to S/SL: Syntax/Semantic Language. ACM Trans. Program. Lang. Syst. 4 (2) (1982)
Richard C. Holt, David B. Wortman
A Model for Implementing Euclid Modules and Prototypes. ACM Trans. Program. Lang. Syst. 4 (4) (1982)
David B. Wortman, James R. Cordy
Early Experiences with Euclid. ICSE (1981)
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)
Richard C. Holt, David B. Wortman
A model for implementing Euclid modules and type templates. SIGPLAN Symposium on Compiler Construction (1979)
David B. Wortman
On Legality Assertions in Euclid. IEEE Trans. Software Eng. 5 (4) (1979)
James R. Cordy, Richard C. Holt, David B. Wortman
Semantic charts: A diagrammatic approach to semantic processing. SIGPLAN Symposium on Compiler Construction (1979)
David B. Wortman, Alonzo F. Hixson III, Charles C. Jorgensen
A SAINT model of the AN/TSQ-73 Guided Missle Air Defense System. WSC (1978)
David B. Wortman
A rooster of XPL implementations. ACM SIGPLAN Notices 13 (1) (1978)
Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe
The Euclid Language: a progress report. ACM Annual Conference (1) (1978)
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) (1977)
David B. Wortman, Steven D. Duket, Deborah J. Seifert
Modeling and Analysis using SAINT: A combined discrete/continuous network simulation language. WSC (1977)
Richard C. Holt, David B. Wortman, David T. Barnard, James R. Cordy
SP/k: A System for Teaching Computer Programming. Commun. ACM 20 (5) (1977)
David B. Wortman
A Study of High-Resolution Timing. IEEE Trans. Software Eng. 2 (2) (1976)
David B. Wortman, Philip J. Khaiat, David M. Laskar
Six PL/I Compilers. Softw. Pract. Exp. 6 (3) (1976)
W. Gregg Alexander, David B. Wortman
Static and Dynamic Characteristics of XPL Programs. Computer 8 (11) (1975)
David B. Wortman
A note on high resolution timing. SIGMETRICS Perform. Evaluation Rev. 3 (1) (1974)
Richard C. Holt, David B. Wortman
A sequence of structured subsets of PL/I. SIGCSE (1974)
David B. Wortman
Language directed computer performance evaluation. ACM Annual Conference (1) (1974)
David B. Wortman
Programming language grammar anthology. ACM SIGPLAN Notices 8 (6) (1973)
William M. McKeeman, James J. Horning, E. C. Nelson, David B. Wortman
The XPL compiler generator system. AFIPS Fall Joint Computing Conference (1) (1968)