Terrence W. Pratt

Publication Activity (10 Years)

Years Active: 1966-1998
Publications (10 Years): 0

Publications

Terrence W. Pratt
Design of the GODIVA Performance Measurement System. LCR (1998)
Terrence W. Pratt
Using GODIVA for data flow analysis. SPDT (1998)
James C. French, Terrence W. Pratt, Mriganka Das
Performance Measurement of the Concurrent File System of the Intel iPSC/2 Hypercube. J. Parallel Distributed Comput. 17 (1-2) (1993)
Terrence W. Pratt
Kernel-Control Parallel Versus Data Parallel: A Technical Comparison. SIGPLAN Workshop (1992)
James C. French, Terrence W. Pratt, Mriganka Das
Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube. SIGMETRICS (1991)
P. David Stotts, Terrence W. Pratt
Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net. J. Parallel Distributed Comput. 10 (3) (1990)
Terrence W. Pratt
Upgrading CS1: an alternative to the proposed COCS survey course. SIGCSE (1990)
Terrence W. Pratt
Teaching programming: a new approach based on analysis skills. SIGCSE (1988)
Terrence W. Pratt
The Pisces 2 Parallel Programming Environment. ICPP (1987)
P. David Stotts, Terrence W. Pratt
Hierarchical Modeling of Software Systems with Timed Petri Nets. PNPM (1985)
Terrence W. Pratt
Pisces: An Environment for Parallel Scientific Computation. IEEE Softw. 2 (4) (1985)
Terrence W. Pratt, Loyce M. Adams, Piyush Mehrotra, John Van Rosendale, Robert G. Voigt, Merrell L. Patrick
The FEM-2 Design Method. ICPP (1983)
Mark Furtney, Terrence W. Pratt
Kernel-control tailoring of sequential programs for parallel execution. ICPP (1982)
Terrence W. Pratt
Formal specification of software using H-graph semantics. Graph-Grammars and Their Application to Computer Science (1982)
Terrence W. Pratt, George D. Maydwell
Experience with the Normal Semantic Definition of HAL/S. SIGPLAN Symposium on Compiler Construction (1982)
Piyush Mehrotra, Terrence W. Pratt
Language Concepts for Distributed Processing of Large Arrays. PODC (1982)
Terrence W. Pratt
Control Computations and the Design of Loop Control Structures. IEEE Trans. Software Eng. 4 (2) (1978)
Terrence W. Pratt
Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs. Graph-Grammars and Their Application to Computer Science and Biology (1978)
Terrence W. Pratt
Program Analysis and Optimization through Kernel-Control Decomposition. Acta Informatica 9 (1978)
Terrence W. Pratt
Four Models for the Analysis of Optimization of Program Control Structures STOC (1975)
Terrence W. Pratt
Formal definition of programming languages. ACM SIGPLAN Notices 8 (6) (1973)
Terrence W. Pratt
Pair Grammars, Graph Languages and String-to-Graph Translations. J. Comput. Syst. Sci. 5 (6) (1971)
Terrence W. Pratt, Daniel P. Friedman
A Language Extension for Graph Processing and Its Formal Semantics. Commun. ACM 14 (7) (1971)
Terrence W. Pratt
Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases. IJCAI (1971)
Terrence W. Pratt
A hierarchical graph model of the semantics of programs. AFIPS Spring Joint Computing Conference (1969)
Terrence W. Pratt, Robert K. Lindsay
A processor-building system for experimental programming languages. AFIPS Fall Joint Computing Conference (1966)