Travelled to:
4 × USA
Collaborated with:
B.Xu ∅ Z.Chen B.Li A.C.Esterline J.Monroe
Talks about:
object (3) orient (2) use (2) ada (2) transform (1) statement (1) algorithm (1) techniqu (1) support (1) reusabl (1)
Person: Huiming Yu
DBLP: Yu:Huiming
Contributed to:
Wrote 4 papers:
- SIGAda-2001-ChenBY #adaptation #algorithm #detection #using
- Detecting concurrently executed pairs of statements using an adapted MHP algorithm (ZC, BX, HY), pp. 107–114.
- SIGAda-1998-LiBY #ada
- Transforming Ada Serving Tasks into Protected Objects (BL, BX, HY), pp. 240–245.
- TRI-Ada-1997-Yu #component #object-oriented #reuse #using
- Using Object-Oriented Techniques to Develop Reusable Components (HY), pp. 117–124.
- TRI-Ada-1996-YuEM #ada #object-oriented #reuse #specification
- Object Oriented Formal Specifications to Support Ada 95 Reuse (HY, ACE, JM), pp. 125–131.