Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Transformation Tool for Functional Logic Program Development
 

Summary: A Transformation Tool for
Functional Logic Program Development
Sergio Antoy1
Michael Hanus2
1
Computer Science Dept., Portland State University, Oregon, U.S.A.
antoy@cs.pdx.edu
2
Institut f¨ur Informatik, CAU Kiel, D-24098 Kiel, Germany.
mh@informatik.uni-kiel.de
Abstract. We present a tool to develop functional logic programs from their
specifications. Specifications of functional logic languages, i.e., contracts in the
form of pre- and postconditions, are written in the same language as the final
programs. Thus, contracts serve either as initial prototypical implementations or
as assertions to check the expected behavior of more efficient implementations.
We describe a tool that supports this software development process. Our tool
can either instrument ordinary programs with run-time assertions obtained from
declarative contracts or can transform declarative contracts into prototypical im-
plementations.
1 Introduction

  

Source: Antoy, Sergio - Department of Computer Science, Portland State University
Hanus, Michael - Institut für Informatik, Christian-Albrechts-Universität Kiel

 

Collections: Computer Technologies and Information Sciences