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 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. © 2012 Springer-Verlag.
CITATION STYLE
Antoy, S., & Hanus, M. (2012). Contracts and specifications for functional logic programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7149 LNCS, pp. 33–47). https://doi.org/10.1007/978-3-642-27694-1_4
Mendeley helps you to discover research relevant for your work.