Travelled to:1 × South Africa
1 × USA
Collaborated with:T.Pham W.Chin M.Trinh N.Truong T.Trinh D.V.Hung V.H.Nguyen N.T.T.Trang P.D.Hung
Talks about:bag (2) constraint (1) algorithm (1) quantifi (1) protocol (1) interfac (1) interact (1) fixpoint (1) program (1) orient (1)
Person: Anh-Hoang Truong
DBLP: Truong:Anh=Hoang
Contributed to:
2011
2008Wrote 3 papers:
- CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier
- FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.
- SEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance
- A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.
- SEFM-2008-TruongTHNTH #aspect-oriented #interactive #interface #programming #protocol #using
- Checking Interface Interaction Protocols Using Aspect-Oriented Programming (AHT, TBT, DVH, VHN, NTTT, PDH), pp. 382–386.