BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
4 × USA
Collaborated with:
∅ S.Khoo W.Chin S.L.P.Jones K.Claessen C.Popeea
Talks about:
check (4) contract (2) static (2) haskel (2) extend (2) function (1) special (1) simplif (1) reactiv (1) program (1)

Person: Dana N. Xu

DBLP DBLP: Xu:Dana_N=

Contributed to:

PEPM 20122012
POPL 20092009
PEPM 20082008
PEPM 20032003
ASIA-PEPM 20022002
Haskell 20062006

Wrote 6 papers:

PEPM-2012-Xu #contract #hybrid
Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
POPL-2009-XuJC #contract #haskell
Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.
PEPM-2008-PopeeaXC #array #bound #precise
A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
PEPM-2003-ChinKX #analysis
Extending sized type with collection analysis (WNC, SCK, DNX), pp. 75–84.
ASIA-PEPM-2002-XuK #compilation #functional #programming #realtime
Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
Haskell-2006-Xu #haskell #static analysis
Extended static checking for haskell (DNX), pp. 48–59.
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.