A processor-building system for experimental programming languages. - Terrence W. Pratt; Robert K. Lindsay (AFIPS Fall Joint Computing Conference, 1966)

A hierarchical graph model of the semantics of programs. - Terrence W. Pratt (AFIPS Spring Joint Computing Conference, 1969)

Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases. - Terrence W. Pratt (IJCAI, 1971)

A Language Extension for Graph Processing and Its Formal Semantics. - Terrence W. Pratt; Daniel P. Friedman (Commun. ACM, 1971)

Pair Grammars, Graph Languages and String-to-Graph Translations. - Terrence W. Pratt (J. Comput. Syst. Sci., 1971)

Formal definition of programming languages. - Terrence W. Pratt (ACM SIGPLAN Notices, 1973)

Four Models for the Analysis of Optimization of Program Control Structures - Terrence W. Pratt (STOC, 1975)

Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs. - Terrence W. Pratt (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Program Analysis and Optimization through Kernel-Control Decomposition. - Terrence W. Pratt (Acta Informatica, 1978)

Control Computations and the Design of Loop Control Structures. - Terrence W. Pratt (IEEE Trans. Software Eng., 1978)

Formal specification of software using H-graph semantics. - Terrence W. Pratt (Graph-Grammars and Their Application to Computer Science, 1982)

Kernel-control tailoring of sequential programs for parallel execution. - Mark Furtney; Terrence W. Pratt (ICPP, 1982)

Language Concepts for Distributed Processing of Large Arrays. - Piyush Mehrotra; Terrence W. Pratt (PODC, 1982)

Experience with the Normal Semantic Definition of HAL/S. - Terrence W. Pratt; George D. Maydwell (SIGPLAN Symposium on Compiler Construction, 1982)

The FEM-2 Design Method. - Terrence W. Pratt; Loyce M. Adams; Piyush Mehrotra; John Van Rosendale; Robert G. Voigt; Merrell L. Patrick (ICPP, 1983)

Hierarchical Modeling of Software Systems with Timed Petri Nets. - P. David Stotts; Terrence W. Pratt (PNPM, 1985)

Pisces: An Environment for Parallel Scientific Computation. - Terrence W. Pratt (IEEE Softw., 1985)

The Pisces 2 Parallel Programming Environment. - Terrence W. Pratt (ICPP, 1987)

Teaching programming: a new approach based on analysis skills. - Terrence W. Pratt (SIGCSE, 1988)

Pascal - a new introduction to computer science. - Terrence W. Pratt (Prentice Hall, 1990)

Upgrading CS1: an alternative to the proposed COCS survey course. - Terrence W. Pratt (SIGCSE, 1990)

Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net. - P. David Stotts; Terrence W. Pratt (J. Parallel Distributed Comput., 1990)

Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube. - James C. French; Terrence W. Pratt; Mriganka Das (SIGMETRICS, 1991)

Kernel-Control Parallel Versus Data Parallel: A Technical Comparison. - Terrence W. Pratt (SIGPLAN Workshop, 1992)

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)

Design of the GODIVA Performance Measurement System. - Terrence W. Pratt (LCR, 1998)

Using GODIVA for data flow analysis. - Terrence W. Pratt (SPDT, 1998)