Travelled to:1 × Belgium
1 × France
1 × Spain
1 × The Netherlands
1 × USA
Collaborated with:S.Dascalu ∅ D.M.R.Park B.Wang T.Holden P.A.V.Hall S.Todd
Talks about:approach (2) formal (2) relat (2) hypertext (1) support (1) softwar (1) peterle (1) databas (1) algebra (1) vehicl (1)
Person: Peter Hitchcock
DBLP: Hitchcock:Peter
Contributed to:
2002
1993
1976
1975
1972Wrote 5 papers:
- SAC-2002-DascaluH #approach #specification
- An approach to integrating semi-formal and formal notations in software specification (SD, PH), pp. 1014–1020.
- CAiSE-1993-WangHH #approach #database #hypermedia #object-oriented
- An Object Oriented Database Approach for Supporting Hypertext (BW, PH, TH), pp. 601–628.
- VLDB-1976-Hitchcock #relational
- User Extensions to the Peterlee Relational Test Vehicle (PH), pp. 169–180.
- POPL-1975-HallHT #algebra
- An Algebra of Relations for Machine Computation (PAVH, PH, ST), pp. 225–232.
- ICALP-1972-HitchcockP #induction #proving #termination
- Induction Rules and Termination Proofs (PH, DMRP), pp. 225–251.