Sciweavers

IFL
2007
Springer

From Contracts Towards Dependent Types: Proofs by Partial Evaluation

14 years 4 months ago
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.
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where IFL
Authors Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner
Comments (0)