From contracts towards dependent types: proofs by partial evaluation

Authors
  • S. Herhut
  • S.-B. Scholz
  • R. Bernecky
  • C. Grelck
  • K. Trojahner
Publication date 2008
Host editors
  • O. Chitil
  • Z. Horváth
  • V. Zsók
Book title Implementation and Application of Functional Languages
Book subtitle 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 : revised selected papers
ISBN
  • 9783540853725
ISBN (electronic)
  • 9783540853732
Series Lecture Notes in Computer Science
Event 19th International Symposium on Implementation and Application of Functional Languages (IFL 2007), Freiburg, Germany
Pages (from-to) 254-273
Publisher Berlin: Springer
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
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.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-540-85373-2_15
Permalink to this page
Back