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 × Italy
1 × Japan
1 × Portugal
3 × USA
Collaborated with:
M.Hagiya Y.Minamide M.Tatsubori T.Onodera
Talks about:
check (3) languag (2) type (2) xml (2) subroutin (1) transduc (1) techniqu (1) implicit (1) dataflow (1) virtual (1)

Person: Akihiko Tozawa

DBLP DBLP: Tozawa:Akihiko

Contributed to:

POPL 20092009
FoSSaCS 20072007
FLOPS 20062006
CIAA 20032003
DocEng 20012001
SAS 19981998

Wrote 6 papers:

POPL-2009-TozawaTOM #php
Copy-on-write in the PHP language (AT, MT, TO, YM), pp. 200–212.
FoSSaCS-2007-TozawaM #complexity #context-free grammar
Complexity Results on Balanced Context-Free Languages (AT, YM), pp. 346–360.
FLOPS-2006-Tozawa #transducer #type checking #using #xml
XML Type Checking Using High-Level Tree Transducer (AT), pp. 81–96.
CIAA-2003-TozawaH #xml
XML Schema Containment Checking Based on Semi-implicit Techniques (AT, MH), pp. 213–225.
DocEng-2001-Tozawa #static typing #towards #type checking
Towards static type checking for XSLT (AT), pp. 18–27.
SAS-1998-HagiyaT #analysis #data flow #java #on the #virtual machine
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.

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.