Direkt zum Inhalt

Sloth – a Tool for Checking Minimal-Strictness

Abstract

We present a light-weight tool called Sloth which assists programmers in identifying unnecessarily strict first order functions. Sloth reports counterexamples in form of a partial value, the corresponding result of the tested function and a recommended result. We present examples where the hints reported by Sloth can be used to improve a function with respect to memory behaviour, non-termination, and performance in the context of functional-logic programming. Furthermore we give an example-driven introduction into the basics of the implementation of Sloth. To improve the results in comparison to an existing approach we use additional constraints to assure that Sloth s suggestions are implementable without employing parallelism.

Zitieren

1.
Christiansen J. Sloth – a Tool for Checking Minimal-Strictness. In: Rocha R, Launchbury J, Hrsg. Practical Aspects of Declarative Languages. Springer Berlin Heidelberg; 2011:160-174.
Christiansen, J. . (2011). Sloth – a Tool for Checking Minimal-Strictness. In R. . Rocha & J. . Launchbury (Hrsg.), Practical Aspects of Declarative Languages (S. 160–174). Springer Berlin Heidelberg.
Christiansen, Jan. 2011. „Sloth – a Tool for Checking Minimal-Strictness“. In Practical Aspects of Declarative Languages, herausgegeben von Ricardo Rocha und John Launchbury, 160-74. Springer Berlin Heidelberg.
Christiansen, Jan. „Sloth – a Tool for Checking Minimal-Strictness“. Practical Aspects of Declarative Languages. Hg. von Ricardo Rocha und John Launchbury. Springer Berlin Heidelberg, 2011. 160–174. Print.
Christiansen, Jan. „Sloth – a Tool for Checking Minimal-Strictness“. Practical Aspects of Declarative Languages, herausgegeben von Ricardo Rocha und John Launchbury, Springer Berlin Heidelberg, 2011, S. 160–174.

Details

  • Number of Pages

    160-174
  • Publisher

    Springer Berlin Heidelberg
  • ISBN Number

    978-3-642-18378-2