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 × Sweden
1 × USA
1 × United Kingdom
Collaborated with:

Talks about:
program (2) backtrack (1) scientif (1) restrict (1) success (1) softwar (1) horizon (1) complet (1) elimin (1) infer (1)

Person: Michel Sintzoff

DBLP DBLP: Sintzoff:Michel

Contributed to:

ICSE 19891989
ILPC 19841984
ICALP 19761976

Wrote 3 papers:

The Scientific Engineering of Software (MS), p. 258.
ILPC-1984-Sintzoff84 #bound #source code #strict
Bounded-Horizon Success-Complete Restriction of Inference Programs (MS), pp. 139–150.
ICALP-1976-Sintzoff #backtracking #source code
Eliminating Blind Alleys from Backtrack Programs (MS), pp. 531–557.

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.