BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hitchcock:Peter

Contributed to:

SAC 20022002
CAiSE 19931993
VLDB 19761976
POPL 19751975
ICALP 19721972

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.