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 × Hungary
1 × Korea
Collaborated with:
K.Hammond C.Ferdinand R.Heckmann Z.Chen G.Michaelson A.M.Wallace I.Wallace
Talks about:
time (2) function (1) softwar (1) resourc (1) process (1) languag (1) certifi (1) toward (1) formal (1) execut (1)

Person: Armelle Bonenfant

DBLP DBLP: Bonenfant:Armelle

Contributed to:

SAC 20072007
IFL 20062006

Wrote 2 papers:

SAC-2007-BonenfantCHMWW #cost analysis #towards
Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.
IFL-2006-BonenfantFHH #execution #functional #worst-case
Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.

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.