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 × Japan
2 × Canada
Collaborated with:
M.Pistoia O.Tripp H.Miyashita K.Ono S.Saito E.Geay B.G.Ryder J.Dolby
Talks about:
analysi (2) string (2) sensit (2) permiss (1) modular (1) second (1) precis (1) driven (1) demand (1) verif (1)

Person: Takaaki Tateishi

DBLP DBLP: Tateishi:Takaaki

Contributed to:

ISSTA 20112011
ICSE 20092009
ASE 20062006

Wrote 3 papers:

ISSTA-2011-TateishiPT #analysis #higher-order #logic #monad #string
Path- and index-sensitive string analysis based on monadic second-order logic (TT, MP, OT), pp. 166–176.
ICSE-2009-GeayPTRD #analysis #composition #precise #string
Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.
ASE-2006-TateishiMOS #automation #verification
Automated Verification Tool for DHTML (TT, HM, KO, SS), pp. 363–364.

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.