Mäntylä, M. , V, Khomh, F., Adams, B., Engström, E., & Petersen, K. (2013). On rapid releases and software testing. In 2013 IEEE International Conference on Software Maintenance (S. 20–29).
Labes, A. (2013). Marine Biotechnologie in Schleswig-Holstein für die Apotheke aus dem Meer Technologietransfer für die Wirkstoffsuche aus marinen mikrobiellen Ressourcen. In Innovation Camp der FH Kiel. Abgerufen von http://oceanrep.geomar.de/23007/
Christiansen, J., Hanus, M., Reck, F., & Seidel, D. (2013). A Semantics for Weakly Encapsulated Search in Functional Logic Programs. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP 13 (S. 49–60). ACM Press. http://doi.org/10.1145/2505879.2505896
Abstract
Encapsulated search is a key feature of (functional) logic languages. It allows the programmer to access and process different results of a non-deterministic computation within a program. Unfortunately, due to advanced operational features (lazy evaluation, partial values, infinite structures), there is no straightforward definition of the semantics of encapsulated search in functional logic languages. As a consequence, various proposals and implementations are available but a rigorous definition covering all semantical aspects does not exist. In this paper, we analyze the requirements of encapsulated search in a functional logic language like Curry and provide a comprehensive definition that covers weak encapsulation, a modular form of encapsulation, as well as nested applications of search operators. We set up a denotational semantics that distinguishes non-termination and different levels of failures in a computation. The semantics is also the basis of a practical implementation of search operators in the functional logic language Curry.
Labes, A., Kaiser, H., & Tobin, S. (2013). Das betörende Blühen der Titanenwurz. In Vorträge des Freundeskreis des Botanischen Gartens Kiel. Abgerufen von http://oceanrep.geomar.de/23008/
Jabangwe, R., Petersen, K., & vSmite, D. \. (2013). Visualization of Defect Inflow and Resolution Cycles: Before, During and After Transfer. In 20th Asia-Pacific Software Engineering Conference.
Labes, A., & Claussen, C. (2013). Meeresschätze heben ? mit angewandter Forschung aus Norddeutschland. In Kieler Salon. Abgerufen von http://oceanrep.geomar.de/23005/
Kramer, A., Paun, L., Labes, A., Kempken, F., & Imhoff, J. F. (2013). Development of a miniaturised screening method for fungal mutants with enhanced production of specific natural compounds. In VAAM Jahrestagung 2013. Abgerufen von http://oceanrep.geomar.de/22029/
Sandner, F., Schlipf, D., Matha, D., Seifried, R., & Cheng, P. W. (2012). Reduced nonlinear model of a spar-mounted floating wind turbine. In German Wind Energy Conference (DEWEK). Bremen, Germany. http://doi.org/10.18419/opus-4528 (Original work published 2025)
Würth, I., Rettenmeier, A., Schlipf, D., Cheng, P. W., Wächter, M., Rinn, P., & Peinke, J. (2012). Determination of stationary and dynamical power curves using a nacelle-based lidar system. In German Wind Energy Conference (DEWEK). Bremen, Germany. http://doi.org/10.18419/opus-8137 (Original work published 2025)