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 × China
1 × Germany
1 × The Netherlands
Collaborated with:
Y.Chen F.Kammüller J.He C.A.R.Hoare
Talks about:
refin (3) nondetermin (1) probabl (1) heurist (1) unifi (1) relat (1) data (1)

Person: Jeff W. Sanders

DBLP DBLP: Sanders:Jeff_W=

Contributed to:

FM 20092009
SEFM 20042004
ESOP 19861986

Wrote 3 papers:

FM-2009-ChenS #nondeterminism #probability
Unifying Probability with Nondeterminism (YC, JWS), pp. 467–482.
SEFM-2004-KammullerS #heuristic #refinement
Heuristics for Refinement Relations (FK, JWS), pp. 292–299.
ESOP-1986-HeHS #refinement
Data Refinement Refined (JH, CARH, JWS), pp. 187–196.

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.