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: Monin:Jean=Fran=ccedil=ois
Contributed to:
19991993
1991
1988Wrote 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.