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 × Sweden
Collaborated with:
A.King K.Shen
Talks about:
relationship (1) argument (1) program (1) complex (1) analysi (1) lower (1) logic (1) infer (1) bound (1) time (1)

Person: Florence Benoy

DBLP DBLP: Benoy:Florence

Contributed to:

ILPS 19971997
LOPSTR 19961996

Wrote 2 papers:

ILPS-1997-KingSB #analysis #bound #logic programming #source code
Lower-bound Time-complexity Analysis of Logic Programs (AK, KS, FB), pp. 261–275.
LOPSTR-1996-BenoyK
Inferring Argument Size Relationships with CLP(R) (FB, AK), pp. 204–223.
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.