BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × France
2 × USA
Collaborated with:
A.Tafliovich R.F.Paige A.M.Gravell G.T.Leavens J.Abrial D.S.Batory M.J.Butler A.Coglio K.Fisler C.B.Jones D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:
structur (1) communic (1) roadmap (1) quantum (1) program (1) languag (1) concurr (1) specif (1) semant (1) orient (1)

Person: Eric C. R. Hehner

DBLP DBLP: Hehner:Eric_C=_R=

Contributed to:

QAPL 20092009
GPCE 20062006
World Congress on Formal Methods 19991999
World Congress on Formal Methods 19991999
POPL 19771977

Wrote 5 papers:

QAPL-2009-TafliovichH #communication #programming #quantum
Programming with Quantum Communication (AT, ECRH), pp. 99–118.
GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
FM-v1-1999-PaigeH #concurrent #object-oriented #realtime #specification
Bunches for Object-Oriented, Concurrent, and Real-Time Specification (RFP, ECRH), pp. 530–550.
FM-v2-1999-HehnerG #refinement #semantics
Refinement Semantics and Loop Rules (ECRH, AMG), pp. 1497–1510.
Structuring (ECRH), pp. 201–205.

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.