Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

Prof. Dr. Janis Voigtländer

Informatik / AI

Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 231B
Telefon
+49 203 379 2675
Telefax
+49 203 379 3557
E-Mail
janis.voigtlaender@uni-due.de
Webseite
https://www.uni-due.de/fmi/voigtlaender

Funktionen

  • Mitglied, Prüfungsausschuss Cyber Physical Systems (Master)

  • Mitglied, Prüfungsausschuss Angewandte Informatik - Schwerpunkt Ingenieur- und Medieninformatik (Bachelor/Master)

  • Universitätsprofessor/in, Formale Methoden der Informatik

  • Vorsitzender, Promotionsausschuss

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.

    Artikel in Zeitschriften

  • Westphal, Oliver; Voigtländer, Janis
    Automatically testing console I/O behavior of student submissions in Haskell
    In: Journal of Functional Programming, Jg. 35, 2025, e18
    DOI (Open Access)
  • Grohne, Helmut; Voigtländer, Janis
    Formalizing semantic bidirectionalization and extensions with dependent types
    In: Journal of Logical and Algebraic Methods in Programming, Jg. 86, 2017, Nr. 1, S. 319 – 348
    DOI
  • Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
    Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
    In: Journal of Functional Programming, Jg. 23, 2013, Nr. 5, S. 515 – 551
    DOI
  • Seidel, Daniel; Voigtländer, Janis
    Refined typing to localize the impact of forced strictness on free theorems
    In: Acta Informatica, Jg. 48, 2011, Nr. 3, S. 191 – 211
    DOI
  • Johann, Patricia; Voigtländer, Janis
    A family of syntactic logical relations for the semantics of Haskell-like languages
    In: Information and Computation, Jg. 207, 2009, Nr. 2, S. 341 – 368
    DOI (Open Access)
  • Giesl, Jürgen; Kühnemann, Armin; Voigtländer, Janis
    Deaccumulation techniques for improving provability
    In: The Journal of Logic and Algebraic Programming, Jg. 71, 2007, Nr. 2, S. 79 – 113
    DOI (Open Access)
  • Voigtländer, Janis
    Formal efficiency analysis for tree transducer composition
    In: Theory of Computing Systems, Jg. 41, 2007, Nr. 4, S. 619 – 689
    DOI
  • Voigtländer, Janis; Johann, Patricia
    Selective strictness and parametricity in structural operational semantics, inequationally
    In: Theoretical Computer Science, Jg. 388, 2007, Nr. 1-3, S. 290 – 318
    DOI (Open Access)
  • Johann, Patricia; Voigtländer, Janis
    The Impact of seq on Free Theorems-Based Program Transformations
    In: Fundamenta Informaticae, Jg. 69, 2006, Nr. 1-2, S. 63 – 102
    Online Volltext
  • Voigtländer, Janis; Kühnemann, Armin
    Composition of functions with accumulating parameters
    In: Journal of Functional Programming, Jg. 14, 2004, Nr. 3, S. 317 – 363
    DOI
  • Voigtländer, Janis
    Using circular programs to deforest in accumulating parameters
    In: Higher-Order and Symbolic Computation, Jg. 17, 2004, Nr. 1-2, S. 129 – 163
    DOI

    • Vorworte / Nachworte

  • Knoop, Jens; Voigtländer, Janis
    Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)
    In: Software Engineering 2013 Workshopband (inkl. Doktorandensymposium): Fachtagung des GI-Fachbereichs Softwaretechnik 26.02. - 01.03.2013 in Aachen / 6. Arbeitstagung Programmiersprachen (ATPS 2013), 26.02.-01.03.2013, Aachen / Wagner, Stefan; Lichter, Horst (Hrsg.). Bonn: Gesellschaft für Informatik, 2013, S. 17 – 20
    Online Volltext (Open Access)
  • Huch, Frank; Voigtländer, Janis
    5. Arbeitstagung Programmiersprachen (ATPS 2012)
    In: Software Engineering 2012 / 5. Arbeitstagung Programmiersprachen (ATPS 2012), 27. Februar - 2. März 2012, Berlin / Jähnichen, Stefan; Küpper, Axel; Albayrak, Sahin (Hrsg.). Bonn: Gesellschaft für Informatik, 2012, S. 15 – 16
    Online Volltext (Open Access)
  • Hermann, Frank; Voigtländer, Janis
    First International Workshop on Bidirectional Transformations (BX 2012) : Preface
    First International Workshop on Bidirectional Transformations (BX 2012), 25th March 2012, Tallin, Estonia,
    In: Electronic Communications of the EASST. Berlin: European Association of Software Science and Technology (EASST), Jg. 49, Bidirectional Transformations 2012, 2012
    DOI (Open Access)
  • Gallagher, John P.; Voigtländer, Janis
    Editorial
    In: Higher-Order and Symbolic Computation / Dordrecht [u.a.]: Springer Science + Business Media B.V., Jg. 23, 2010, Nr. 3, S. 273 – 274
    DOI

    • Beiträge in Sammelwerken und Tagungsbänden

  • Ritzenfeld, Patrick; Voigtländer, Janis
    Extensional and Intensional Checking of Student Programs in a Graphical Domain
    In: Proceedings Seventh Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2025) / 7. Workshop "Automatische Bewertung von Programmieraufgaben", 1.–2. Oktober 2025, Berlin / Greubel, André; Strickroth, Sven; Striewe, Michael (Hrsg.). Bonn: Gesellschaft für Informatik e.V., 2025, S. 75 – 83
    DOI (Open Access)
  • Siegburg, Marcellus; Voigtländer, Janis
    Variation von Aufgabenstellungen zu Modellierung in der Informatik
    In: Prüfungen digital gestalten: Technische und didaktische Konzepte für die Hochschullehre / Auferkorte-Michaelis, Nicole; Bonnes, Maiken; Hintze, Patrick; Liebscher, Julia (Hrsg.). Leverkusen: Verlag Barbara Budrich, 2025, S. 189 – 198
    DOI (Open Access)
  • Brocker, Annabell; Garmann, Robert; Strickroth, Sven; Striewe, Michael; Voigtländer, Janis
    Eine Taxonomie zur Variabilisierung von Programmieraufgaben
    In: Workshopband der 22. Fachtagung Bildungstechnologien (DELFI): 09.–11. September 2024, Fulda, Deutschland / 22. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V, DELFI 2024, 09.09.–11.09.2024, Fulda, Germany / Kiesler, Natalie; Schulz, Sandra (Hrsg.). Bonn: Gesellschaft für Informatik e.V, 2024
    DOI (Open Access)
  • Koth, Leon; Voigtländer, Janis
    Parametrisierung von Haskell-Programmieraufgaben
    In: Proceedings of the 6th Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2023) / 6. Workshop "Automatische Bewertung von Programmieraufgaben", 12.–13. Oktober 2023, München / Greubel, André; Strickroth, Sven; Striewe, Michael (Hrsg.). Bonn: Gesellschaft für Informatik e.V., 2023, S. 51 – 58
    DOI, Online Volltext (Open Access)
  • Brandt, André; Siegburg, Marcellus; Voigtländer, Janis; Wang, Ke
    A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances
    In: Modellierung 2022 Satellite Events / Workshop zur Modellierung in der Hochschullehre (MoHoL), Juni 2022, Hamburg / Michael, Judith; Pfeiffer, Jérôme; Wortmann, Andreas (Hrsg.). Bonn: Gesellschaft für Informatik e.V., 2022, S. 197 – 204
    DOI, Online Volltext (Open Access)
  • Westphal, Oliver; Voigtländer, Janis
    Describing Console I/O Behavior for Testing Student Submissions in Haskell
    TFPIE 2019 - Trends in Functional Programming in Education, 11. June 2019, Vancouver, Canada,
    In: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education: Vancouver, Canada and Krakow, Poland, 11th June 2019 and 12th February 2020 / Eighth International Workshop on Trends in Functional Programming in Education, 11th June 2019, Vancouver, Canada and Ninth International Workshop on Trends in Functional Programming in Education, 12th February 2020, Krakow, Poland / Hage, Jurriaan (Hrsg.). Waterloo: Open Publishing Association, 2020, S. 19 – 36
    DOI (Open Access)
  • Kafa, Violet; Siegburg, Marcellus; Voigtländer, Janis
    Exercise Task Generation for UML Class/Object Diagrams, via Alloy Model Instance Finding
    In: ICT Education: Revised Selected Papers / 48th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2019, Northern Drakensberg, South Africa, July 15–17, 2019 / Tait, Bobby; Kroeze, Jan; Gruner, Stefan (Hrsg.). Cham: Springer, 2020, S. 112 – 128
    DOI
  • Voigtländer, Janis
    Free Theorems Simply, via Dinaturality
    In: Declarative Programming and Knowledge Management / Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 / Hofstedt, Petra; Abreu, Salvador; John, Ulrich; Kuchen, Herbert; Seipel, Dietmar (Hrsg.). Cham: Springer, 2020, S. 247 – 267
    DOI, Online Volltext (Open Access)
  • Siegburg, Marcellus; Voigtländer, Janis
    Generating diverse exercise tasks on UML class and object diagrams, using formalisations in Alloy
    In: Joint Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers / Modellierung 2020, 19.-21.02.2020, Wien / Michael, Judith; Bork, Dominik; Rehse, Jana-Rebecca; Striewe, Michael; Ullrich, Meike (Hrsg.). Aachen: RWTH Aachen, 2020, S. 89 – 100
    Online Volltext (Open Access)
  • Westphal, Oliver; Voigtländer, Janis
    Implementing, and Keeping in Check, a DSL Used in E-Learning
    In: Functional and Logic Programming: Proceedings / 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020 / Nakano, Keisuke; Sagonas, Konstantinos (Hrsg.). Cham: Springer, 2020, S. 179 – 197
    DOI
  • Siegburg, Marcellus; Voigtländer, Janis; Westphal, Oliver
    Automatische Bewertung von Haskell-Programmieraufgaben
    In: Proceedings of the Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), Essen, Germany, October 8-9, 2019 / Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), 08.-09.10. 2019, Essen / Strickroth, Sven; Striewe, Michael; Rod, Oliver (Hrsg.): GI, 2019, S. 19 – 26
    DOI (Open Access)
  • Gödderz, Tobias; Voigtländer, Janis
    Automatic testing of operation invariance
    In: (Constraint) Logic Programming and Functional and (Constraint) Logic Programming: Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) ; Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming / 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), 15-17 September 2014, Wittenberg, Germany / Brass, Stefan; Waldmann, Johannes (Hrsg.). Aachen: RWTH Aachen, 2015, S. 172 – 186
    Online Volltext (Open Access)
  • Grohne, Helmut; Löh, Andres; Voigtländer, Janis
    Formalizing Semantic Bidirectionalization with Dependent Types
    In: EDBT/ICDT 2014 Workshops: Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014) / Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 28. March 2014, Athens, Greece. Aachen: RWTH Aachen, 2014, S. 75 – 81
    Online Volltext (Open Access)
  • Mehner, Stefan; Seidel, Daniel; Straßburger, Lutz; Voigtländer, Janis
    Parametricity and proving free theorems for functional-logic languages
    In: PPDP 2014 - Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming / PPDP 2014; Canterburry; United Kingdom; 8 - 10 September 2014 / Chitil, Olaf (Hrsg.). New York: Association for Computing Machinery (ACM), 2014, S. 19 – 30
    DOI
  • Bird, Richard; Gibbons, Jeremy; Mehner, Stefan; Voigtländer, Janis; Schrijvers, Tom
    Understanding idiomatic traversals backwards and forwards
    In: Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell / Haskell Symposium 2013; Boston, United States; 23 - 24 September 2013 / Shan, Chung-Chieh (Hrsg.). New York: ACM Press, 2013, S. 25 – 36
    DOI
  • Voigtländer, Janis
    Ideas for connecting inductive program synthesis and bidirectionalization
    In: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation / PEPM '12; Philadelphia, United States; 23 - 24 January 2012. New York: ACM Press, 2012, S. 39 – 42
    DOI
  • Voigtländer, Janis
    Programming language approaches to bidirectional transformation : Invited Talk
    In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications: LDTA 2012 / 12th International Workshop on Language Descriptions, Tools, and Applications; Tallinn, Estonia; March 31 - April 1, 2012 / Sloane, Anthony; Andova, Suzana (Hrsg.). New York: ACM, 2012, S. 1 – 2
    DOI
  • Seidel, Daniel; Voigtländer, Janis
    Proving Properties about Functions on Lists Involving Element Tests
    In: Recent Trends in Algebraic Development Techniques / 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 / Mossakowski, Till; Kreowski, Hans-Jörg (Hrsg.). Berlin: Springer, 2012, S. 270 – 286
    DOI
  • Foster, Nate; Matsuda, Kazutaka; Voigtländer, Janis
    Three Complementary Approaches to Bidirectional Programming
    In: Generic and Indexed Programming / International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 / Gibbons, Jeremy (Hrsg.). Berlin: Springer, 2012, S. 1 – 46
    DOI
  • Christiansen, Jan; Seidel, Daniel; Voigtländer, Janis
    An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
    In: Functional and Constraint Logic Programming / 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 / Mariño, Julio (Hrsg.). Berlin: Springer, 2011, S. 119 – 136
    DOI
  • Seidel, Daniel; Voigtländer, Janis
    Improvements for Free
    In: Proceedings of the 9. Workshop on Quantitative Aspects of Programming Languages / QAPL 2011; Saarbrücken, Germany; 1 - 3 April 2011 / Massink, Mieke; Norman, Gethin (Hrsg.). Sydney: Open Publishing Association, 2011, S. 89 – 103
    DOI, Online Volltext
  • Fernandes, João Paulo; Saraiva, João; Seidel, Daniel; Voigtländer, Janis
    Strictification of circular programs
    In: PEPM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation / PEPM'11; Austin, United States; 24 January 2011. New York: ACM Press, 2011, S. 131 – 140
    DOI
  • Johann, Patricia; Simpson, Alex; Voigtländer, Janis
    A generic operational metatheory for algebraic effects
    In: Proceedings of the Symposium on Logic in Computer Science: The Computer Society of the IEEE / 25th Annual IEEE Symposium on Logic in Computer Science; LICS 2010; Edinburgh; United Kingdom; 11 -14 July 2010. Piscataway: IEEE, 2010, S. 209 – 218
    DOI, Online Volltext
  • Seidel, Daniel; Voigtländer, Janis
    Automatically Generating Counterexamples to Naive Free Theorems
    In: Functional and Logic Programming: Proceedings / 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 / Blume, Matthias; Kobayashi, Naoki; Vidal, Germán (Hrsg.). Berlin: Springer, 2010, S. 175 – 190
    DOI
  • Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
    Combining syntactic and semantic bidirectionalization
    In: Proceedings of the 15th ACM SIGPLAN international conference on Functional Programming / ICFP'10; Baltimore, United States; 27 - 29 September 2010. New York: ACM Press, 2010, S. 181 – 192
    DOI
  • Christiansen, Jan; Seidel, Daniel; Voigtländer, Janis
    Free theorems for functional logic programs
    In: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification / PLPV'10; Madrid; Spain; 19 January 2010. New York: ACM Press, 2010, S. 39 – 48
    DOI
  • Voigtländer, Janis
    Bidirectionalization for free! (Pearl)
    In: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages / POPL'09 ; Savannah, Georgia, USA, January 21 - 23, 2009. New York: ACM Press, 2009, S. 165 – 176
    DOI
  • Voigtländer, Janis
    Free theorems involving type constructor classes : functional pearl
    In: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 / ICFP'09; Edinburgh; United Kingdom; 31 August 2009 through 2 September 2009. New York: ACM Press, 2009, S. 173 – 184
    DOI
  • Stenger, Florian; Voigtländer, Janis
    Parametricity for Haskell with Imprecise Error Semantics
    In: Typed Lambda Calculi and Applications: Proceedings / 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 / Curien, Pierre-Louis (Hrsg.). Berlin: Springer, 2009, S. 294 – 308
    DOI
  • Seidel, Daniel; Voigtländer, Janis
    Taming Selective Strictness
    In: GI-Jahrestagung Informatik 2009 - Im Focus das Leben / 4. Arbeitstagung Programmiersprachen, ATPS 2009, Lübeck / Fischer, Stefan; Maehle, Erik; Reischuk, Rüdiger (Hrsg.). Bonn: Gesellschaft für Informatik, 2009, S. 2916 – 2930
    Online Volltext
  • Voigtländer, Janis
    Asymptotic Improvement of Computations over Free Monads
    In: Mathematics of Program Construction: Proceedings / 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008 / Audebaud, Philippe; Paulin-Mohring, Christine (Hrsg.). Berlin: Springer, 2008, S. 388 – 403
    DOI
  • Voigtländer, Janis
    Much ado about two (pearl) : a pearl on parallel prefix computation
    In: POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages / 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08; San Francisco, United States; 7 - 12 January 2008. New York: Association for Computing Machinery (ACM), 2008, S. 29 – 35
    DOI
  • Voigtländer, Janis
    Proving correctness via free theorems : The case of the destroy/build-rule
    In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation / PEPM'08; San Francisco, United States; 7 - 8 January 2008. New York: ACM Press, 2008, S. 13 – 20
    DOI
  • Voigtländer, Janis
    Semantics and Pragmatics of New Shortcut Fusion Rules
    In: Functional and Logic Programming: Proceedings / 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 / Garrigue, Jacques; Hermenegildo, Manuel V. (Hrsg.). Berlin: Springer, 2008, S. 163 – 179
    DOI
  • Johann, Patricia; Voigtländer, Janis
    Free theorems in the presence of seq
    In: POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages / ACM Sigplan-SIGACT Symposium on Principles of Programming Languages; Venice; Italy; 14 - 16 January 2004. New York: Association for Computing Machinery (ACM), 2004, S. 99 – 110
    DOI
  • Giesl, Jürgen; Kühnemann, Armin; Voigtländer, Janis
    Deaccumulation - Improving provability
    In: Advances in Computing Science – ASIAN 2003: Programming Languages and Distributed Computation / 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 / Saraswat, Vijay A. (Hrsg.). Berlin: Springer, 2003, S. 146 – 160
    DOI
  • Voigtländer, Janis
    Concatenate, reverse and map vanish for free
    In: ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming / Seventh ACM SIGPLAN; International Conference on Functional Programming (ICFP'02); Pittsburgh, United States; 4 - 6 October 2002. New York: Association for Computing Machinery (ACM), 2002, S. 14 – 25
    DOI
  • Voigtländer, Janis
    Conditions for Efficiency Improvement by Tree Transducer Composition
    In: Rewriting Techniques and Applications: Proceedings / 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 / Tison, Sophie (Hrsg.). Berlin: Springer, 2002, S. 222 – 236
    DOI
  • Voigtländer, Janis
    Using circular programs to deforest in accumulating parameters
    In: ASIA-PEPM '02: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation / ASIA-PEPM '02; Aizu; Japan; 12 - 14 September 2002 / Asai, Kenichi (Hrsg.). New York: ACM, 2002, S. 126 – 137
    DOI

    • Bücher/Sammelwerke/Tagungsbände

  • Schwarz, Sibylle; Voigtländer, Janis (Hrsg.)
    Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming : Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016
    Workshops on (Constraint) Logic Programming ; International Workshop on Functional and (Constraint) Logic Programming ; 22.09.2015, Dresden ; 12.09.-14.09.2016, Leipzig,
    Waterloo: Open Publishing Association, 2017
    (Electronic Proceedings in Theoretical Computer Science ; 234)
    DOI, Online Volltext (Open Access)
  • Hinze, Ralf; Voigtländer, Janis (Hrsg.)
    Mathematics of Program Construction : Proceedings
    12th International Conference on the Mathematics of Program Construction, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015,
    Cham [u.a.]: Springer, 2015
    (Lecture Notes in Computer Science ; 9129)
    DOI
  • Voigtländer, Janis (Hrsg.)
    Proceedings of the 2012 Haskell Symposium
    Haskell’12 - 5th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP’12,
    ACM Press2012(ACM Digital Library)
    DOI
  • Gallagher, John P.; Voigtländer, Janis (Hrsg.)
    Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation
    PEPM'10 - ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation, 18-19 January 2010, Madrid,
    ACM Press2010
    DOI
  • Voigtländer, Janis
    Types for Programming and Reasoning
    Dresden: Technische Universität Dresden, 2009

    • Dissertation

  • Voigtländer, Janis
    Tree Transducer Composition as Program Transformation
    Lübeck, 2005