dblp.uni-trier.dewww.uni-trier.de

Janis Voigtländer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
17EEJanis Voigtländer: Bidirectionalization for free! (Pearl). POPL 2009: 165-176
16EEPatricia Johann, Janis Voigtländer: A family of syntactic logical relations for the semantics of Haskell-like languages. Inf. Comput. 207(2): 341-368 (2009)
2008
15EEJanis Voigtländer: Semantics and Pragmatics of New Shortcut Fusion Rules. FLOPS 2008: 163-179
14EEJanis Voigtländer: Asymptotic Improvement of Computations over Free Monads. MPC 2008: 388-403
13EEJanis Voigtländer: Proving correctness via free theorems: the case of the destroy/build-rule. PEPM 2008: 13-20
12EEJanis Voigtländer: Much ado about two (pearl): a pearl on parallel prefix computation. POPL 2008: 29-35
2007
11EEJürgen Giesl, Armin Kühnemann, Janis Voigtländer: Deaccumulation techniques for improving provability. J. Log. Algebr. Program. 71(2): 79-113 (2007)
10EEJanis Voigtländer, Patricia Johann: Selective strictness and parametricity in structural operational semantics, inequationally. Theor. Comput. Sci. 388(1-3): 290-318 (2007)
9EEJanis Voigtländer: Formal Efficiency Analysis for Tree Transducer Composition. Theory Comput. Syst. 41(4): 619-689 (2007)
2006
8EEPatricia Johann, Janis Voigtländer: The Impact of seq on Free Theorems-Based Program Transformations. Fundam. Inform. 69(1-2): 63-102 (2006)
2004
7EEPatricia Johann, Janis Voigtländer: Free theorems in the presence of seq. POPL 2004: 99-110
6EEJanis Voigtländer: Using Circular Programs to Deforest in Accumulating Parameters. Higher-Order and Symbolic Computation 17(1-2): 129-163 (2004)
5EEJanis Voigtländer, Armin Kühnemann: Composition of functions with accumulating parameters. J. Funct. Program. 14(3): 317-363 (2004)
2003
4EEJürgen Giesl, Armin Kühnemann, Janis Voigtländer: Deaccumulation - Improving Provability. ASIAN 2003: 146-160
2002
3EEJanis Voigtländer: Using circular programs to deforest in accumulating parameters. ASIA-PEPM 2002: 126-137
2EEJanis Voigtländer: Concatenate, reverse and map vanish for free. ICFP 2002: 14-25
1EEJanis Voigtländer: Conditions for Efficiency Improvement by Tree Transducer Composition. RTA 2002: 222-236

Coauthor Index

1Jürgen Giesl [4] [11]
2Patricia Johann [7] [8] [10] [16]
3Armin Kühnemann [4] [5] [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)