Travelled to:
1 × Germany
1 × Italy
Collaborated with:
S.Tzolovski ∅
Talks about:
static (2) base (2) interpret (1) abstract (1) control (1) partit (1) analyz (1) analys (1) trace (1) refin (1)
Person: Maria Handjieva
DBLP: Handjieva:Maria
Contributed to:
Wrote 2 papers:
- SAS-1998-HandjievaT #analysis #clustering #control flow #using
- Refining Static Analyses by Trace-Based Partitioning Using Control Flow (MH, ST), pp. 200–214.
- SAS-1996-Handjieva #abstract interpretation #named
- STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation (MH), pp. 383–384.