Travelled to:
1 × Germany
1 × Portugal
1 × The Netherlands
1 × United Kingdom
Collaborated with:
M.Alt ∅ R.Wilhelm C.Ferdinand
Talks about:
interprocedur (2) analysi (2) experiment (1) comparison (1) interpret (1) function (1) behavior (1) approach (1) abstract (1) predict (1)
Person: Florian Martin
DBLP: Martin:Florian
Contributed to:
Wrote 4 papers:
- CC-1999-Martin #analysis #comparison #functional #interprocedural #string
- Experimental Comparison of call string and functional Approaches to Interprocedural Analysis (FM), pp. 63–75.
- CC-1998-MartinAWF #analysis
- Analysis of Loops (FM, MA, RW, CF), pp. 80–94.
- SAS-1996-AltFMW #abstract interpretation #behaviour #predict
- Cache Behavior Prediction by Abstract Interpretation (MA, CF, FM, RW), pp. 52–66.
- SAS-1995-AltM #generative #interprocedural #performance
- Generation of Efficient Interprocedural Analyzers with PAG (MA, FM), pp. 33–50.