Travelled to:2 × Germany
2 × USA
Collaborated with:∅ G.D.Maydwell
Talks about:semant (3) program (2) definit (2) graph (2) use (2) structur (1) hierarch (1) softwar (1) languag (1) grammar (1)
Person: Terrence W. Pratt
DBLP: Pratt:Terrence_W=
Contributed to:
1982
19821978
1975Wrote 4 papers:
- GG-1982-Pratt #semantics #specification #using
- Formal specification of software using H-graph semantics (TWP), pp. 314–332.
- SCC-1982-PrattM #experience #semantics
- Experience with the Normal Semantic Definition of HAL/S (TWP, GDM), pp. 327–333.
- GG-1978-Pratt #graph #programming language #semantics #using
- Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs (TWP), pp. 389–400.
- STOC-1975-Pratt #analysis #modelling #optimisation
- Four Models for the Analysis of Optimization of Program Control Structures (TWP), pp. 167–176.