Terrence W. Pratt
According to our database1, Terrence W. Pratt
Legend:Book In proceedings Article PhD thesis Other
Design of the GODIVA Performance Measurement System.
Proceedings of the Languages, 1998
Performance Measurement of the Concurrent File System of the Intel iPSC/2 Hypercube.
J. Parallel Distrib. Comput., 1993
Kernel-Control Parallel Versus Data Parallel: A Technical Comparison.
SIGPLAN Workshop, 1992
Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube.
Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net.
J. Parallel Distrib. Comput., 1990
Upgrading CS1: an alternative to the proposed COCS survey course.
Proceedings of the 21st SIGCSE Technical Symposium on Computer Science Education, 1990
Pascal - a new introduction to computer science.
Prentice Hall, ISBN: 978-0-13-652512-7, 1990
Teaching programming: a new approach based on analysis skills.
Proceedings of the 19st SIGCSE Technical Symposium on Computer Science Education, 1988
The Pisces 2 Parallel Programming Environment.
Proceedings of the International Conference on Parallel Processing, 1987
Pisces: An Environment for Parallel Scientific Computation.
IEEE Software, 1985
Hierarchical Modeling of Software Systems with Timed Petri Nets.
Proceedings of the International Workshop on Timed Petri Nets, 1985
The FEM-2 Design Method.
Proceedings of the International Conference on Parallel Processing, 1983
Experience with the Normal Semantic Definition of HAL/S.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982
Language Concepts for Distributed Processing of Large Arrays.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982
Kernel-control tailoring of sequential programs for parallel execution.
Proceedings of the International Conference on Parallel Processing, 1982
Formal specification of software using H-graph semantics.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982
Control Computations and the Design of Loop Control Structures.
IEEE Trans. Software Eng., 1978
Program Analysis and Optimization through Kernel-Control Decomposition.
Acta Inf., 1978
Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30, 1978
Four Models for the Analysis of Optimization of Program Control Structures
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975
Pair Grammars, Graph Languages and String-to-Graph Translations.
J. Comput. Syst. Sci., 1971
A Language Extension for Graph Processing and Its Formal Semantics.
Commun. ACM, 1971
Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases.
Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971
A hierarchical graph model of the semantics of programs.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1969 Spring Joint Computer Conference, 1969
A processor-building system for experimental programming languages.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '66 Fall Joint Computer Conference, 1966