Travelled to:1 × Germany
1 × Hungary
1 × Ireland
1 × USA
Collaborated with:S.Scholz C.Grelck ∅ S.Herhut K.Trojahner R.Bernecky
Talks about:homomorph (2) overload (2) vector (2) index (2) implement (1) coercion (1) program (1) generic (1) general (1) analysi (1)
Person: Alexander V. Shafarenko
DBLP: Shafarenko:Alexander_V=
Contributed to:
200620052004
2002Wrote 5 papers:
- IFL-2006-BerneckyHSTGS
- Index Vector Elimination — Making Index Vectors Affordable (RB, SH, SBS, KT, CG, AVS), pp. 19–36.
- IFL-2005-GrelckSS #analysis #array #source code
- A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.
- IFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using
- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.
- IFL-2004-ShafarenkoS
- General Homomorphic Overloading (AVS, SBS), pp. 195–210.
- PPDP-2002-Shafarenko #morphism #type inference #type system
- Coercion as homomorphism: type inference in a system with subtyping and overloading (AVS), pp. 14–25.