Terrence W. Pratt

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