David B. Wortman

Affiliations:
  • University of Toronto, Canada


According to our database1, David B. Wortman authored at least 32 papers between 1968 and 2004.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2004
Tools for Extracting Software Structure from Compiled Programs.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

1998
Compiling at 1000MHz and beyond.
Proceedings of the Systems Implementation 2000, 1998

1994
Automating Data Conversion for Heterogeneous Distributed Shared Memory.
Softw. Pract. Exp., 1994

1992
Heterogeneous Distributed Shared Memory.
IEEE Trans. Parallel Distributed Syst., 1992

A Concurrent Compiler for Modula-2+.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991
An Investigation into Concurrent Semantic Analysis.
Softw. Pract. Exp., 1991

1988
Exception handling in scientific computing.
ACM Trans. Math. Softw., 1988

Semantic Analysis in a Concurrent Compiler.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

1987
Software Projects in an Academic Environment.
IEEE Trans. Software Eng., 1987

1982
A Model for Implementing Euclid Modules and Prototypes.
ACM Trans. Program. Lang. Syst., 1982

An Introduction to S/SL: Syntax/Semantic Language.
ACM Trans. Program. Lang. Syst., 1982

Graphics and simulation: tools and applications.
Proceedings of the 14th conference on Winter Simulation, 1982

1981
Early Experiences with Euclid.
Proceedings of the 5th International Conference on Software Engineering, 1981

Euclid: a language for compiling quality software.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1979
On Legality Assertions in Euclid.
IEEE Trans. Software Eng., 1979

A model for implementing Euclid modules and type templates.
Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979

Semantic charts: A diagrammatic approach to semantic processing.
Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979

1978
A rooster of XPL implementations.
ACM SIGPLAN Notices, 1978

A SAINT model of the AN/TSQ-73 Guided Missle Air Defense System.
Proceedings of the 10th conference on Winter simulation, 1978

The Euclid Language: a progress report.
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977
Software Hut: A Computer Program Engineering Project in the Form of a Game.
IEEE Trans. Software Eng., 1977

SP/k: A System for Teaching Computer Programming.
Commun. ACM, 1977

Modeling and Analysis using SAINT: A combined discrete/continuous network simulation language.
Proceedings of the 9th conference on Winter simulation, 1977

1976
A Study of High-Resolution Timing.
IEEE Trans. Software Eng., 1976

Six PL/I Compilers.
Softw. Pract. Exp., 1976

1975
Static and Dynamic Characteristics of XPL Programs.
Computer, 1975

1974
A note on high resolution timing.
SIGMETRICS Perform. Evaluation Rev., 1974

A sequence of structured subsets of PL/I.
Proceedings of the 4th SIGCSE Technical Symposium on Computer Science Education, 1974

Language directed computer performance evaluation.
Proceedings of the 1974 ACM Annual Conference, 1974

1973
Programming language grammar anthology.
ACM SIGPLAN Notices, 1973

1972
A study of language directed computer design.
PhD thesis, 1972

1968
The XPL compiler generator system.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '68 Fall Joint Computer Conference, December 9-11, 1968, San Francisco, California, USA, 1968


  Loading...