David B. Wortman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2004

Tools for Extracting Software Structure from Compiled ProgramsHwei Sheng Teoh, David B. Wortman. ICSM 2004: 526 [doi]

1998

Compiling at 1000MHz and beyondDavid B. Wortman. ifip2-4 1998: 194-206

1994

Automating Data Conversion for Heterogeneous Distributed Shared MemoryDavid B. Wortman, Songnian Zhou, S. Fink. SPE, 24(1):111-125, 1994.

1992

A Concurrent Compiler for Modula-2+David B. Wortman, Michael D. Junkin. PLDI 1992: 68-81

Heterogeneous Distributed Shared MemorySongnian Zhou, Michael Stumm, Kai Li, David B. Wortman. tpds, 3(5):540-554, 1992. [doi]

1991

An Investigation into Concurrent Semantic AnalysisV. Seshadri, David B. Wortman. SPE, 21(12):1323-1348, 1991.

1988

Semantic Analysis in a Concurrent CompilerV. Seshadri, David B. Wortman, Michael D. Junkin, S. Weber, C. P. Yu, I. Small. PLDI 1988: 233-240

1987

Software Projects in an Academic EnvironmentDavid B. Wortman. TSE, 13(11):1176-1181, 1987.

1982

An Introduction to S/SL: Syntax/Semantic LanguageRichard C. Holt, James R. Cordy, David B. Wortman. TOPLAS, 4(2):149-178, 1982. [doi]

A Model for Implementing Euclid Modules and PrototypesRichard C. Holt, David B. Wortman. TOPLAS, 4(4):552-562, 1982. [doi]

Graphics and simulation: tools and applicationsRobin J. Miner, Jerome D. Sabuda, David B. Wortman. wsc 1982: 161-176 [doi]

1981

Euclid: a language for compiling quality softwareDavid B. Wortman, Richard C. Holt, James R. Cordy, David R. Crowe, Ian H. Griggs. afips 1981: 257-263 [doi]

Early Experiences with EuclidDavid B. Wortman, James R. Cordy. ICSE 1981: 27-33

1979

Semantic charts: A diagrammatic approach to semantic processingJames R. Cordy, Richard C. Holt, David B. Wortman. sigplan 1979: 39-49 [doi]

A model for implementing Euclid modules and type templatesRichard C. Holt, David B. Wortman. sigplan 1979: 8-12 [doi]

On Legality Assertions in EuclidDavid B. Wortman. TSE, 5(4):359-367, 1979.

1978

The Euclid Language: a progress reportRichard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe. acm 1978: 111-115 [doi]

A SAINT model of the AN/TSQ-73 Guided Missle Air Defense SystemDavid B. Wortman, Alonzo F. Hixson III, Charles C. Jorgensen. wsc 1978: 879-886 [doi]

A rooster of XPL implementationsDavid B. Wortman. SIGPLAN, 13(1):70-74, 1978. [doi]

1977

SP/k: A System for Teaching Computer ProgrammingRichard C. Holt, David B. Wortman, David T. Barnard, James R. Cordy. CACM, 20(5):301-309, 1977. [doi]

Software Hut: A Computer Program Engineering Project in the Form of a GameJames J. Horning, David B. Wortman. TSE, 3(4):325-330, 1977.

Modeling and Analysis using SAINT: A combined discrete/continuous network simulation languageDavid B. Wortman, Steven D. Duket, Deborah J. Seifert. wsc 1977: 528-534 [doi]

1976

Six PL/I CompilersDavid B. Wortman, Philip J. Khaiat, David M. Laskar. SPE, 6(3):411-422, 1976.

A Study of High-Resolution TimingDavid B. Wortman. TSE, 2(2):135-137, 1976.

1975

Static and Dynamic Characteristics of XPL ProgramsW. Gregg Alexander, David B. Wortman. Computer, 8(11):41-46, 1975. [doi]

1974

A sequence of structured subsets of PL/IRichard C. Holt, David B. Wortman. sigcse 1974: 129-132 [doi]

Language directed computer performance evaluationDavid B. Wortman. acm 1974: 274-278 [doi]

A note on high resolution timingDavid B. Wortman. sigmetrics, 3(1):3-9, 1974. [doi]

1973

Programming language grammar anthologyDavid B. Wortman. SIGPLAN, 8(6):99-100, 1973. [doi]

1972

A study of language directed computer designDavid B. Wortman. PhD thesis, Stanford University, USA, 1972. [doi]

1968

The XPL compiler generator systemWilliam M. McKeeman, James J. Horning, E. C. Nelson, David B. Wortman. afips 1968: 617-635 [doi]

Sign in or sign up to see more results.

runs on WebDSL