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 × Germany
1 × USA
Collaborated with:
M.Debbabi A.Mourad A.Faour
Talks about:
arm (2) processor (1) algorithm (1) virtual (1) program (1) control (1) concurr (1) analysi (1) target (1) select (1)

Person: Nadia Tawbi

DBLP DBLP: Tawbi:Nadia

Contributed to:

SAC 20052005
IFL 19961996

Wrote 2 papers:

SAC-2005-DebbabiMT #compilation #embedded #java #virtual machine
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors (MD, AM, NT), pp. 874–878.
IFL-1996-DebbabiFT #algorithm #analysis #concurrent #control flow #higher-order #source code #type system
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs (MD, AF, NT), pp. 247–266.

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.