Gärtner, A. ., Krämer, M. ., Kajahn, I. ., Labes, A. ., Nagel, K. ., Stöhr, R. ., … Imhoff, J. F. (2008). Exploiting the pharmaceutical potential of Marine Microorganisms. XXX. Congreso Chileno de Microbiolog\ ia. Abgerufen von http://oceanrep.geomar.de/6763/
Braßel, B. ., & Christiansen, J. . (2008). Denotation by Transformation. In A. . King (Hrsg.), Logic-Based Program Synthesis and Transformation (S. 90–105). Springer Berlin Heidelberg.
Abstract
It has often been observed that a point-free style of programming provides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semantics for functional logic languages in a straightforward way. Here we propose a set of basic operations based on which arbitrary functional logic programs can be transformed to point-free programs. The semantics of the resulting programs are strict but, nevertheless, the semantics of the original program is preserved.
Wiese, J. ., Gärtner, A. ., Heindl, H. ., Kajahn, I. ., Krämer, M. ., Labes, A. ., … Imhoff, J. F. (2008). Marine Microbial Resources. 2. Bi-Annual Symposium "The Future Ocean". Abgerufen von http://oceanrep.geomar.de/6631/
Brandenburg, M. ., & Menke, T. . (2008). Quantifizierung von Wertbeiträgen aus Änderungen von Supply Chain Kosten und Working Capital . Zeitschrift für Controlling Und Management, 3, 168–174. http://doi.org/10.1007/s12176-008-0048-x
Faber, P. D.-I. T. ., & Seidel, M. . (2008). Zur Bemessungs- und Fertigungspraxis geschraubter Ringflansch¬verbindungen bei Windenergieanlagen. DIBt - Mitteilungen, 39, 2. http://doi.org/10.1002/dibt.200830022
Braßel, B. ., & Christiansen, J. . (2008). A Relation Algebraic Semantics for a Lazy Functional Logic Language. In R. . Berghammer, B. . Möller, & G. . Struth (Hrsg.), Relations and Kleene Algebra in Computer Science (S. 37–53). Springer Berlin Heidelberg.
Abstract
We propose a relation algebraic semantics along with a concrete model for lazy functional logic languages. The resulting semantics provides several interesting advantages over former approaches for this class of languages. On the one hand, the high abstraction level of relation algebra allows equational reasoning leading to concise proofs about functional logic programs. On the other hand the proposed approach features, in contrast to former approaches with a comparable level of abstraction, an explicit modeling of sharing. The latter property gives rise to the expectation that the presented framework can be used to clarify notions currently discussed in the field of functional logic languages, like constructive negation, function inversion and encapsulated search. All of these topics have proved to involve subtle problems in the context of sharing and laziness in the past.
Petersen, K. ., Rönkkö, K. ., & Wohlin, C. . (2008). The impact of time controlled reading on software inspection effectiveness and efficiency: a controlled experiment. In Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (S. 139–148).
Imhoff, J. F., Labes, A. ., Kajahn, I. ., Krämer, M. ., Stöhr, R. ., Thiel, V. ., & Wiese, J. . (2008). Marine biotechnology: bio-mining the treasures of the ocean. European Bioperspectives. Abgerufen von http://oceanrep.geomar.de/6415/