Terrence W. Pratt

According to our database, Terrence W. Pratt authored at least 27 papers between 1966 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Using GODIVA for data flow analysis.

Terrence W. Pratt

Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, 1998

Design of the GODIVA Performance Measurement System.

Terrence W. Pratt

Proceedings of the Languages, 1998

1993

Performance Measurement of the Concurrent File System of the Intel iPSC/2 Hypercube.

James C. French, Terrence W. Pratt, Mriganka Das

J. Parallel Distributed Comput., 1993

1992

Kernel-Control Parallel Versus Data Parallel: A Technical Comparison.

Terrence W. Pratt

Proceedings of the 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30, 1992

1991

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

James C. French, Terrence W. Pratt, Mriganka Das

Proceedings of the 1991 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1991

1990

Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net.

P. David Stotts, Terrence W. Pratt

J. Parallel Distributed Comput., 1990

Upgrading CS1: an alternative to the proposed COCS survey course.

Terrence W. Pratt

Proceedings of the 21st SIGCSE Technical Symposium on Computer Science Education, 1990

Pascal - a new introduction to computer science.

Terrence W. Pratt

Prentice Hall, ISBN: 978-0-13-652512-7, 1990

1988

Teaching programming: a new approach based on analysis skills.

Terrence W. Pratt

Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988

1987

The Pisces 2 Parallel Programming Environment.

Terrence W. Pratt

Proceedings of the International Conference on Parallel Processing, 1987

1985

Pisces: An Environment for Parallel Scientific Computation.

Terrence W. Pratt

IEEE Softw., 1985

Hierarchical Modeling of Software Systems with Timed Petri Nets.

P. David Stotts, Terrence W. Pratt

Proceedings of the International Workshop on Timed Petri Nets, 1985

1983

The FEM-2 Design Method.

Terrence W. Pratt, Loyce M. Adams, Piyush Mehrotra, John Van Rosendale, Robert G. Voigt, Merrell L. Patrick

Proceedings of the International Conference on Parallel Processing, 1983

1982

Experience with the Normal Semantic Definition of HAL/S.

Terrence W. Pratt, George D. Maydwell

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

Language Concepts for Distributed Processing of Large Arrays.

Piyush Mehrotra, Terrence W. Pratt

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

Kernel-control tailoring of sequential programs for parallel execution.

Mark Furtney, Terrence W. Pratt

Proceedings of the International Conference on Parallel Processing, 1982

Formal specification of software using H-graph semantics.

Terrence W. Pratt

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

1978

Control Computations and the Design of Loop Control Structures.

Terrence W. Pratt

IEEE Trans. Software Eng., 1978

Program Analysis and Optimization through Kernel-Control Decomposition.

Terrence W. Pratt

Acta Informatica, 1978

Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs.

Terrence W. Pratt

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978

1975

Four Models for the Analysis of Optimization of Program Control Structures

Terrence W. Pratt

Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

1973

Formal definition of programming languages.

Terrence W. Pratt

ACM SIGPLAN Notices, 1973

1971

Pair Grammars, Graph Languages and String-to-Graph Translations.

Terrence W. Pratt

J. Comput. Syst. Sci., 1971

A Language Extension for Graph Processing and Its Formal Semantics.

Terrence W. Pratt, Daniel P. Friedman

Commun. ACM, 1971

Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases.

Terrence W. Pratt

Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971

1969

A hierarchical graph model of the semantics of programs.

Terrence W. Pratt

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.

Terrence W. Pratt, Robert K. Lindsay

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '66 Fall Joint Computer Conference, 1966