BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Shafarenko:Alexander_V=

Contributed to:

IFL 20062006
IFL 20052005
IFL 20042004
PPDP 20022002

Wrote 5 papers:

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.