Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Contracts and Specifications for Functional Logic Programming
 

Summary: Contracts and Specifications for
Functional Logic Programming
Sergio Antoy1
Michael Hanus2
1
Computer Science Dept., Portland State University, Oregon, U.S.A.
antoy@cs.pdx.edu
2
Institut fur Informatik, CAU Kiel, D-24098 Kiel, Germany.
mh@informatik.uni-kiel.de
Abstract. The expressive power of functional logic languages supports high-
level specifications as well as efficient implementations of problems in the same
language. If specifications are executable, they can be used both as initial proto-
typical implementations and as contracts for checking the reliable execution of
implementations intended to satisfy the specification. In this paper, we propose
a practical framework to support this general approach to coding. We discuss
the notions of specifications and contracts for functional logic programming and
present a tool that supports the development of declarative programs based on
these notions.
1 Introduction

  

Source: Antoy, Sergio - Department of Computer Science, Portland State University

 

Collections: Computer Technologies and Information Sciences