Search the dblp DataBase

Publications of Author

1. Terrence W. Pratt, Daniel P. Friedman
   A Language Extension for Graph Processing and Its Formal Semantics. [Citation Graph (1, 0)][DBLP]
   Commun. ACM, 1971, v:14, n:7, pp:460-467 [Journal]
   
2. Terrence W. Pratt
   Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs. [Citation Graph (0, 0)][DBLP]
   Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:389-400 [Conf]
   
3. Terrence W. Pratt
   Formal specification of software using H-graph semantics. [Citation Graph (0, 0)][DBLP]
   Graph-Grammars and Their Application to Computer Science, 1982, pp:314-332 [Conf]
   
4. Terrence W. Pratt
   The Pisces 2 Parallel Programming Environment. [Citation Graph (0, 0)][DBLP]
   ICPP, 1987, pp:439-445 [Conf]
   
5. Terrence W. Pratt, Loyce M. Adams, Piyush Mehrotra, John Van Rosendale, Robert G. Voigt, Merrell L. Patrick
   The FEM-2 Design Method. [Citation Graph (0, 0)][DBLP]
   ICPP, 1983, pp:132-134 [Conf]
   
6. Terrence W. Pratt
   Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1971, pp:474-480 [Conf]
   
7. Terrence W. Pratt
   Design of the GODIVA Performance Measurement System. [Citation Graph (0, 0)][DBLP]
   LCR, 1998, pp:219-228 [Conf]
   
8. P. David Stotts, Terrence W. Pratt
   Hierarchical Modeling of Software Systems with Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
   PNPM, 1985, pp:32-39 [Conf]
   
9. Piyush Mehrotra, Terrence W. Pratt
   Language Concepts for Distributed Processing of Large Arrays. [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:19-28 [Conf]
   
10. Terrence W. Pratt
    Teaching programming: a new approach based on analysis skills. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1988, pp:249-253 [Conf]
    
11. Terrence W. Pratt
    Upgrading CS1: an alternative to the proposed COCS survey course. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1990, pp:68-71 [Conf]
    
12. James C. French, Terrence W. Pratt, Mriganka Das
    Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1991, pp:178-187 [Conf]
    
13. Terrence W. Pratt, George D. Maydwell
    Experience with the Normal Semantic Definition of HAL/S. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Symposium on Compiler Construction, 1982, pp:327-333 [Conf]
    
14. Terrence W. Pratt
    Kernel-Control Parallel Versus Data Parallel: A Technical Comparison. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Workshop, 1992, pp:5-8 [Conf]
    
15. Terrence W. Pratt
    Four Models for the Analysis of Optimization of Program Control Structures [Citation Graph (0, 0)][DBLP]
    STOC, 1975, pp:167-176 [Conf]
    
16. Terrence W. Pratt
    Program Analysis and Optimization through Kernel-Control Decomposition. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:9, n:, pp:195-216 [Journal]
    
17. Terrence W. Pratt
    Pair Grammars, Graph Languages and String-to-Graph Translations. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1971, v:5, n:6, pp:560-595 [Journal]
    
18. James C. French, Terrence W. Pratt, Mriganka Das
    Performance Measurement of the Concurrent File System of the Intel iPSC/2 Hypercube. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1993, v:17, n:1-2, pp:115-121 [Journal]
    
19. P. David Stotts, Terrence W. Pratt
    Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1990, v:10, n:3, pp:253-260 [Journal]
    
20. Terrence W. Pratt
    Control Computations and the Design of Loop Control Structures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:2, pp:81-89 [Journal]
    
21. 
    Kernel-control tailoring of sequential programs for parallel execution. [Citation Graph (, )][DBLP]