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.
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.
Goecke, F. R., Labes, A., Wiese, J., & Imhoff, J. F. (2011). Bacteria associated with coexisting macroalgae: seasonal, interspecies variation and antibiotic effects. In VAAM-Jahrestagung 2011. Abgerufen von http://oceanrep.geomar.de/12920/
Kramer, A., Labes, A., Wiese, J., Ohlendorf, B., & Imhoff, J. F. (2011). Secondary metabolites of fungi associated to the marine sponge Halichondria panacea. In MIMAS Symposium. Abgerufen von http://oceanrep.geomar.de/12918/
Mujtaba, S., Feldt, R., & Petersen, K. (2011). Analyzing strategy and processes for product customization in large-scale industrial settings. In 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (S. 369–373).
Vogelsang, A., Tuschy, I., & Hohmeyer, O. (2011). Multi-Objective Optimization of Parabolic Trough Receiver Power Plants Under Variable Electricity Pricing Schemes by Different Technical Design Criteria. In Proceedings SolarPACES2011.
Wiese, J., Schulz, D., Stöhr, R., Nagel, K., Labes, A., Schneemann, I., … Imhoff, J. F. (2011). Biologically active compounds from microorganisms derived from marine macroorganisms and marine sediments. In NatPharma: Nature Aided Drug Discovery, NADD. Abgerufen von http://oceanrep.geomar.de/12921/
Vogelsang, A., & Tuschy, I. (2011). Auswirkungen verschiedener technischer Parameter auf Einsatzmöglichkeiten und Ertrag solarthermischer Parabolrinnenkraftwerke. In M. Beckmann & A. Hurtado (Hrsg.), Kraftwerkstechnik (Bd. 3). Neuruppin: TK-Verlag.
Staufenberger, T., Klokman, V., Gärtner, A., Heind, H., Wiese, J., Labes, A., & Imhoff, J. F. (2011). Extracellular bacterial chitinases from marine environments. In VAAM-Jahrestagung 2011. Abgerufen von http://oceanrep.geomar.de/12917/
Sundmark, D., Petersen, K., & Larsson, S. (2011). An exploratory case study of testing in an automotive electrical system release process. In 2011 6th IEEE International Symposium on Industrial and Embedded Systems (S. 166–175).
Labes, A., Nagel, K., Schneemann, I., Wiese, J., & Imhoff, J. F. (2011). From marine ecology to marine biotechnology ? Small bioactive molecules in biological interactions and biotechnological applications. In Clusterretreat Future Ocean. Abgerufen von http://oceanrep.geomar.de/12916/