@inproceedings{735a9ecd605741089a93dad8683f0391,
title = "From contracts towards dependent types: Proofs by partial evaluation",
abstract = "The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this paper we propose an approach based on partial evaluation which tries to prove such constraints statically as far as possible and inserts efficient dynamic checks otherwise.",
author = "Stephan Herhut and Sven-Bodo Scholz and Robert Bernecky and Clemens Grelck and Kai Trojahner",
year = "2008",
language = "English",
isbn = "9783540853725",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "254--274",
editor = "Chitil, {Olaf } and Zoltan Horvath and Viktoria Zsok",
booktitle = "Implementation and Application of Functional Languages",
note = "19th International Symposium on Implementation and Application of Functional Languages ; Conference date: 27-09-2007 Through 29-09-2007",
}