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 × Canada
1 × Lithuania
Collaborated with:
U.Hustadt C.Dixon D.Wang Y.Qi F.Sun
Talks about:
children (1) calculus (1) resolut (1) program (1) refin (1) tool (1) base (1) tui (1) ctl (1)

Person: Lan Zhang

DBLP DBLP: Zhang:Lan

Contributed to:

ITiCSE 20152015
CADE 20092009

Wrote 2 papers:

ITiCSE-2015-WangZQS #programming
A TUI-based Programming Tool for Children (DW, LZ, YQ, FS), pp. 219–224.
CADE-2009-ZhangHD #calculus
A Refined Resolution Calculus for CTL (LZ, UH, CD), pp. 245–260.

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.