BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × United Kingdom
Collaborated with:
O.Ridoux P.Boizumault
Talks about:
prolog (3) analysi (2) abstract (1) static (1) ground (1) compil (1) applic (1) type (1)

Person: Frédéric Malésieux

DBLP DBLP: Mal=eacute=sieux:Fr=eacute=d=eacute=ric

Contributed to:

FLOPS 19991999
JICSLP 19981998

Wrote 2 papers:

FLOPS-1999-RidouxBM #prolog #static analysis
Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.
JICSLP-1998-MalesiuexRB #compilation #prolog
Abstract Compilation of λ-Prolog (FM, OR, PB), pp. 130–144.

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.