From contracts towards dependent types: Proofs by partial evaluation

Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationImplementation and Application of Functional Languages
EditorsOlaf Chitil, Zoltan Horvath, Viktoria Zsok
Place of PublicationBerlin
PublisherSpringer
Pages254-274
Number of pages21
ISBN (Print)9783540853725
Publication statusPublished - 2008
Event19th International Symposium on Implementation and Application of Functional Languages - Freiburg
Duration: 27 Sep 200729 Sep 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag
Volume5083
ISSN (Print)0302-9743

Conference

Conference19th International Symposium on Implementation and Application of Functional Languages
CityFreiburg
Period27/09/0729/09/07

Cite this