Travelled to:1 × Canada
1 × Italy
1 × USA
Collaborated with:J.Jo K.Choe S.H.Her R.Giacobazzi K.Yi
Talks about:analysi (3) java (3) abstract (2) except (2) interprocedur (1) constraint (1) interpret (1) granular (1) program (1) visual (1)
Person: Byeong-Mo Chang
DBLP: Chang:Byeong=Mo
Contributed to:
2002
2001
20011994Wrote 4 papers:
- SCAM-2002-ChangJH #exception #java #static analysis #using #visualisation
- Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.
- PPDP-2001-ChangJ #analysis #constraints #java
- Granularity of Constraint-Based Analysis for Java (BMC, JWJ), pp. 94–102.
- SAC-2001-ChangJYC #analysis #exception #interprocedural #java
- Interprocedural exception analysis for Java (BMC, JWJ, KY, KMC), pp. 620–625.
- SAC-1994-ChangCG #abstract interpretation #bottom-up #execution #logic programming #source code
- Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.