David B. Wortman

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