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 × France
1 × United Kingdom
Collaborated with:
G.C.Necula S.McPeak W.Weimer
Talks about:
transform (1) intermedi (1) untrust (1) softwar (1) program (1) languag (1) analysi (1) oracl (1) check (1) tool (1)

Person: Shree Prakash Rahul

DBLP DBLP: Rahul:Shree_Prakash

Contributed to:

CC 20022002
POPL 20012001

Wrote 2 papers:

CC-2002-NeculaMRW #analysis #c #named #source code #tool support
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (GCN, SM, SPR, WW), pp. 213–228.
Oracle-based checking of untrusted software (GCN, SPR), pp. 142–154.

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.