BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
D.Chu J.Jaffar T.Pham A.Truong W.Chin
Talks about:
string (2) recurs (2) defin (2) bag (2) constraint (1) structur (1) quantifi (1) progress (1) fixpoint (1) program (1)

Person: Minh-Thai Trinh

DBLP DBLP: Trinh:Minh=Thai

Contributed to:

PLDI 20152015
CAV 20112011
CAV (1) 20162016
CAV (2) 20172017

Wrote 4 papers:

PLDI-2015-ChuJT #automation #imperative #induction #proving #source code
Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier
FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.
CAV-2016-TrinhCJ #reasoning #recursion #string
Progressive Reasoning over Recursively-Defined Strings (MTT, DHC, JJ), pp. 218–240.
CAV-2017-TrinhCJ #recursion #string
Model Counting for Recursively-Defined Strings (MTT, DHC, JJ), pp. 399–418.

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.