Robert Bernecky (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

17 Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner: From Contracts Towards Dependent Types: Proofs by Partial Evaluation. IFL 2007: 254-273

15 Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko: Index Vector Elimination - Making Index Vectors Affordable. IFL 2006: 19-36

Selection of 2 from 17 records - Robert Bernecky has 16 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

17		Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner: From Contracts Towards Dependent Types: Proofs by Partial Evaluation. IFL 2007: 254-273
15		Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko: Index Vector Elimination - Making Index Vectors Affordable. IFL 2006: 19-36