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
2 × United Kingdom
Collaborated with:
C.Grelck S.Scholz S.Herhut R.Bernecky A.V.Shafarenko
Talks about:
array (3) vector (2) depend (2) index (2) type (2) use (2) descriptor (1) represent (1) implement (1) structur (1)

Person: Kai Trojahner

DBLP DBLP: Trojahner:Kai

Contributed to:

IFL 20082008
IFL 20072007
IFL 20062006
IFL 20052005
IFL 20032003

Wrote 6 papers:

IFL-2008-TrojahnerG #array #dependent type #representation
Descriptor-Free Representation of Arrays with Dependent Types (KT, CG), pp. 100–117.
IFL-2007-HerhutSBGT #contract #dependent type #partial evaluation #proving #towards
From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.
Index Vector Elimination — Making Index Vectors Affordable (RB, SH, SBS, KT, CG, AVS), pp. 19–36.
IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
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-2003-GrelckST #array
With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.

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.