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: Hehner:Eric_C=_R=
Contributed to:
2009
2006
19991999
1977Wrote 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.
- POPL-1977-Hehner
- Structuring (ECRH), pp. 201–205.