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 × Denmark
3 × France
Collaborated with:
F.Klay G.Doumenc
Talks about:
prolog (2) compil (2) algorithm (1) standard (1) parallel (1) abstract (1) written (1) correct (1) conform (1) machin (1)

Person: Jean-François Monin

DBLP DBLP: Monin:Jean=Fran=ccedil=ois

Contributed to:

World Congress on Formal Methods 19991999
FME 19931993
ICLP 19911991
PLILP 19881988

Wrote 4 papers:

FM-v1-1999-MoninK #algorithm #consistency #correctness #proving #standard
Correctness Proof of the Standardized Algorithm for ABR Conformance (JFM, FK), pp. 662–681.
FME-1993-DoumencM #automaton #execution #parallel
The Parallel Abstract Machine: A Common Execution Model for FDTs (GD, JFM), pp. 285–293.
ICLP-1991-Monin #compilation #prolog #using
Real-size Compiler Writing Using Prolog with Arrows (JFM), pp. 188–201.
PLILP-1988-Monin #compilation #experience #prolog
A Compiler Written in Prolog: The Véda Experience (JFM), pp. 119–131.

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.