Forschung und Transfer

Der Bereich Programmiersprachen und Theorie der Programmierung beschäftigt sich mit modernen Methoden der Softwareentwicklung.

Forschung

In der internationalen Forschung wurden zum Beispiel Arbeiten zu den folgenden Themen veröffentlicht.

• Domänenspezifische Sprachen (PADL 2018, TPLP 2020),
• Funktionale Algorithmen (ICFP 2016),
• Freie Theoreme (PLPV 2010),
• Testen (FLOPS 2008),
• und formale Verifikation (<Programming> 2019, Haskell 2019).

Publikationen

• K.-O. Prott, F. Teegen, J. Christiansen: Embedding Functional Logic Programming in Haskell via a Compiler Plugin International Symposium on Practical Aspects of Declarative Languages (PADL), 2023
• S. Dylus, J. Christiansen, F. Teegen: Implementing a Library for Probabilistic Programming using Non-strict Non-determinism Theory and Practice of Logic Programming (TPLP), 2020
• J. Christiansen, S. Dylus, N. Bunkenburg: Verifying Effectful Haskell Programs in Coq International Symposium on Haskell (Haskell), 2019
• S. Dylus, J. Christiansen, F. Teegen: One Monad to Prove Them All International Conference on the Art, Science, and Engineering of Programming (<Programming>), 2019
• S. Dylus, J. Christiansen, F. Teegen: Probabilistic Functional Logic Programming International Symposium on Practical Aspects of Declarative Languages (PADL), 2018
• J. Christiansen, N. Danilenko, S. Dylus: All sorts of permutations (functional pearl) International Conference on Functional Programming (ICFP), 2016
• J. Christiansen, M. Hanus, F. Reck, D. Seidel: A semantics for weakly encapsulated search in functional logic programs International Symposium on Principles and Practice of Declarative Programming (PPDP), 2013
• J. Christiansen: Sloth - A Tool for Checking Minimal-Strictness International Symposium on Practical Aspects of Declarative Languages (PADL), 2011
• J. Christiansen, D. Seidel: Minimally strict polymorphic functions International Symposium on Principles and Practice of Declarative Programming (PPDP), 2011
• J. Christiansen, D. Seidel, J. Voigtländer: Free theorems for functional logic programs Workshop Programming Languages meets Program Verification (PLPV), 2010
• J. Christiansen, D. Seidel, J. Voigtländer: An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Workshop on Functional and Constraint Logic Programming
• B. Braßel, J. Christiansen: A Relation Algebraic Semantics for a Lazy Functional Logic Language International Conference on Relational Methods in Computer Science (RelMiCS), 2008
• J. Christiansen, S. Fischer: EasyCheck - Test Data for Free International Symposium on Functional and Logic Programming (FLOPS), 2008
• B. Braßel, J. Christiansen: Denotation by Transformation International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), 2007
• J. Christiansen, F. Huch: A purely functional implementation of ROBDDs in Haskell Symposium on Trends in Functional Programming (TFP), 2006
• J. Christiansen, F. Huch: Searching for deadlocks while debugging concurrent haskell programs International Conference on Functional Programming (ICFP), 2004