BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
C.David D.Kroening P.Schrammel B.Wachter
Talks about:
interprocedur (1) synthesis (1) termin (1) precis (1) proof (1) bit (1)

Person: Hong-Yi Chen

DBLP DBLP: Chen:Hong=Yi

Contributed to:

ASE 20152015

Wrote 1 papers:

ASE-2015-ChenDKSW #interprocedural #proving #termination
Synthesising Interprocedural Bit-Precise Termination Proofs (T) (HYC, CD, DK, PS, BW), pp. 53–64.

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.