Terrence W. Pratt

According to our database1, Terrence W. Pratt
  • authored at least 25 papers between 1966 and 1998.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1998
Design of the GODIVA Performance Measurement System.
Proceedings of the Languages, 1998

1993
Performance Measurement of the Concurrent File System of the Intel iPSC/2 Hypercube.
J. Parallel Distrib. Comput., 1993

1992
Kernel-Control Parallel Versus Data Parallel: A Technical Comparison.
SIGPLAN Workshop, 1992

1991
Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube.
SIGMETRICS, 1991

1990
Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net.
J. Parallel Distrib. Comput., 1990

Upgrading CS1: an alternative to the proposed COCS survey course.
Proceedings of the 21st SIGCSE Technical Symposium on Computer Science Education, 1990

Pascal - a new introduction to computer science.
Prentice Hall, ISBN: 978-0-13-652512-7, 1990

1988
Teaching programming: a new approach based on analysis skills.
Proceedings of the 19st SIGCSE Technical Symposium on Computer Science Education, 1988

1987
The Pisces 2 Parallel Programming Environment.
Proceedings of the International Conference on Parallel Processing, 1987

1985
Pisces: An Environment for Parallel Scientific Computation.
IEEE Software, 1985

Hierarchical Modeling of Software Systems with Timed Petri Nets.
Proceedings of the International Workshop on Timed Petri Nets, 1985

1983
The FEM-2 Design Method.
Proceedings of the International Conference on Parallel Processing, 1983

1982
Experience with the Normal Semantic Definition of HAL/S.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

Language Concepts for Distributed Processing of Large Arrays.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

Kernel-control tailoring of sequential programs for parallel execution.
Proceedings of the International Conference on Parallel Processing, 1982

Formal specification of software using H-graph semantics.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

1978
Control Computations and the Design of Loop Control Structures.
IEEE Trans. Software Eng., 1978

Program Analysis and Optimization through Kernel-Control Decomposition.
Acta Inf., 1978

Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30, 1978

1975
Four Models for the Analysis of Optimization of Program Control Structures
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

1971
Pair Grammars, Graph Languages and String-to-Graph Translations.
J. Comput. Syst. Sci., 1971

A Language Extension for Graph Processing and Its Formal Semantics.
Commun. ACM, 1971

Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases.
Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971

1969
A hierarchical graph model of the semantics of programs.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1969 Spring Joint Computer Conference, 1969

1966
A processor-building system for experimental programming languages.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '66 Fall Joint Computer Conference, 1966


  Loading...