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 × Poland
1 × Portugal
Collaborated with:
R.M.Amadio S.Dal-Zilio L.Jakubiec
Talks about:
scenario (1) function (1) resourc (1) bytecod (1) analysi (1) theori (1) condit (1) verif (1) guard (1) bound (1)

Person: Solange Coupet-Grimal

DBLP DBLP: Coupet-Grimal:Solange

Contributed to:

CSL 20042004
FoSSaCS 19981998

Wrote 2 papers:

CSL-2004-AmadioCDJ #bound #bytecode #functional #verification
A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
FoSSaCS-1998-AmadioC #analysis #type system
Analysis of a Guard Condition in Type Theory (RMA, SCG), pp. 48–62.
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.