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 × Italy
1 × Japan
Collaborated with:
∅ H.Masuhara E.Sumii A.Yonezawa
Talks about:
construct (1) function (1) arithmet (1) support (1) special (1) librari (1) bytecod (1) verifi (1) object (1) formal (1)

Person: Reynald Affeldt

DBLP DBLP: Affeldt:Reynald

Contributed to:

SAC 20122012
ASIA-PEPM 20022002

Wrote 2 papers:

SAC-2012-Affeldt #library #low level #on the
On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.
ASIA-PEPM-2002-AffeldtMSY #bytecode #runtime
Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.
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.