External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proving Invariants of Functional Programs

Zoltán Horváth, Tamás Kozsik, Máté Tejfel. Proving Invariants of Functional Programs. In Pekka Kilpeläinen, Niina Päivinen, editors, Proceedings of the Eighth Symposium on Programming Languages and Software Tools, SPLST 03, Kuopio, Finland, June 17-18, 2003. pages 115-126, University of Kuopio, Department of Computer Science, 2003.

Abstract

Abstract is missing.

runs on