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 Antoy
Computer Science Dept.
Portland State University, Oregon, U.S.A.
antoy@cs.pdx.edu
Michael Hanus
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 prototypical implementations and as contracts
for checking the reliable execution of implementations expected to satisfy the specification.
In this paper, we propose a concrete 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
Functional logic programming languages [3, 15] support a wide spectrum of programming styles.

  

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

 

Collections: Computer Technologies and Information Sciences