Travelled to:1 × Germany
1 × Hungary
Collaborated with:S.Herhut S.Scholz C.Grelck K.Trojahner A.V.Shafarenko
Talks about:vector (2) index (2) contract (1) partial (1) toward (1) elimin (1) depend (1) afford (1) proof (1) evalu (1)
Person: Robert Bernecky
DBLP: Bernecky:Robert
Contributed to:
20072006Wrote 2 papers:
- 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.
- IFL-2006-BerneckyHSTGS
- Index Vector Elimination — Making Index Vectors Affordable (RB, SH, SBS, KT, CG, AVS), pp. 19–36.