Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Janis Voigtländer
@inproceedings{DBLP:conf/abp/KothV23,
author = {Leon Koth and
Janis Voigtl{\"{a}}nder},
editor = {Andr{\'{e}} Greubel and
Sven Strickroth and
Michael Striewe},
title = {Parametrisierung von Haskell-Programmieraufgaben},
booktitle = {Proceedings of the Sixth Workshop "Automatische Bewertung von Programmieraufgaben",
{ABP} 2023, Munich, Germany, October 12-13, 2023},
pages = {51--58},
year = {2023},
url = {https://doi.org/10.18420/abp2023-7},
doi = {10.18420/ABP2023-7},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/abp/KothV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/BrandtSVW22,
author = {Andr{\'{e}} Brandt and
Marcellus Siegburg and
Janis Voigtl{\"{a}}nder and
Ke Wang},
editor = {Judith Michael and
J{\'{e}}r{\^{o}}me Pfeiffer and
Andreas Wortmann},
title = {A Report on Automatic Generation of Petri Net Exercise and Exam Task
Instances},
booktitle = {Modellierung 2022 - Workshop Proceedings, Hamburg, Germany, June 27
- July 1, 2022},
pages = {197--204},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/modellierung2022ws-027},
doi = {10.18420/MODELLIERUNG2022WS-027},
timestamp = {Tue, 04 Jul 2023 17:44:31 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/BrandtSVW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/WestphalV20,
author = {Oliver Westphal and
Janis Voigtl{\"{a}}nder},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Implementing, and Keeping in Check, a {DSL} Used in E-Learning},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {179--197},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_11},
doi = {10.1007/978-3-030-59025-3\_11},
timestamp = {Thu, 26 Nov 2020 15:44:21 +0100},
biburl = {https://dblp.org/rec/conf/flops/WestphalV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/SiegburgV20,
author = {Marcellus Siegburg and
Janis Voigtl{\"{a}}nder},
editor = {Judith Michael and
Dominik Bork and
Hans{-}Georg Fill and
Peter Fettke and
Dimitris Karagiannis and
Julius K{\"{o}}pke and
Agnes Koschmider and
Heinrich C. Mayr and
Jana{-}Rebecca Rehse and
Ulrich Reimer and
Michael Striewe and
Marina Tropmann{-}Frick and
Meike Ullrich},
title = {Generating Diverse Exercise Tasks on {UML} Class and Object Diagrams,
Using Formalisations in Alloy},
booktitle = {Companion Proceedings of Modellierung 2020 Short, Workshop and Tools
{\&} Demo Papers co-located with Modellierung 2020, Vienna, Austria,
February 19-21, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2542},
pages = {89--100},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2542/MOHOL5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/modellierung/SiegburgV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-09253,
author = {Oliver Westphal and
Janis Voigtl{\"{a}}nder},
editor = {Jurriaan Hage},
title = {Describing Console {I/O} Behavior for Testing Student Submissions
in Haskell},
booktitle = {Proceedings Eighth and Ninth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2020, Vancouver, Canada and Krakow,
Poland, 11th June 2019 and 12th February 2020},
series = {{EPTCS}},
volume = {321},
pages = {19--36},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.321.2},
doi = {10.4204/EPTCS.321.2},
timestamp = {Mon, 21 Sep 2020 12:42:04 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/abp/SiegburgVW19,
author = {Marcellus Siegburg and
Janis Voigtl{\"{a}}nder and
Oliver Westphal},
editor = {Sven Strickroth and
Michael Striewe and
Oliver Rod},
title = {Automatische Bewertung von Haskell-Programmieraufgaben},
booktitle = {Proceedings of the Fourth Workshop "Automatische Bewertung von Programmieraufgaben"
{(ABP} 2019), Essen, Germany, October 8-9, 2019},
pages = {19--26},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/abp2019-3},
doi = {10.18420/ABP2019-3},
timestamp = {Thu, 21 Jan 2021 17:37:14 +0100},
biburl = {https://dblp.org/rec/conf/abp/SiegburgVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Voigtlander19,
author = {Janis Voigtl{\"{a}}nder},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Free Theorems Simply, via Dinaturality},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {247--267},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_16},
doi = {10.1007/978-3-030-46714-2\_16},
timestamp = {Tue, 05 May 2020 15:20:37 +0200},
biburl = {https://dblp.org/rec/conf/inap/Voigtlander19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-07776,
author = {Janis Voigtl{\"{a}}nder},
title = {Free Theorems Simply, via Dinaturality},
journal = {CoRR},
volume = {abs/1908.07776},
year = {2019},
url = {http://arxiv.org/abs/1908.07776},
eprinttype = {arXiv},
eprint = {1908.07776},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-07776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GrohneV17,
author = {Helmut Grohne and
Janis Voigtl{\"{a}}nder},
title = {Formalizing semantic bidirectionalization and extensions with dependent
types},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {319--348},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.04.002},
doi = {10.1016/J.JLAMP.2016.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GrohneV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/SchwarzV17,
editor = {Sibylle Schwarz and
Janis Voigtl{\"{a}}nder},
title = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
and 24th International Workshop on Functional and (Constraint) Logic
Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
Germany, 22nd September 2015 and 12-14th September 2016},
series = {{EPTCS}},
volume = {234},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.234},
doi = {10.4204/EPTCS.234},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchwarzV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2015,
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5},
doi = {10.1007/978-3-319-19797-5},
isbn = {978-3-319-19796-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/GrohneLV14,
author = {Helmut Grohne and
Andres L{\"{o}}h and
Janis Voigtl{\"{a}}nder},
editor = {K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia and
Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Formalizing Semantic Bidirectionalization with Dependent Types},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
{(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {75--81},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1133/paper-12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/edbt/GrohneLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MehnerSSV14,
author = {Stefan Mehner and
Daniel Seidel and
Lutz Stra{\ss}burger and
Janis Voigtl{\"{a}}nder},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Parametricity and Proving Free Theorems for Functional-Logic Languages},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {19--30},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643147},
doi = {10.1145/2643135.2643147},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MehnerSSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/GodderzV14,
author = {Tobias G{\"{o}}dderz and
Janis Voigtl{\"{a}}nder},
editor = {Stefan Brass and
Johannes Waldmann},
title = {Automatic Testing of Operation Invariance},
booktitle = {Proceedings of the 28th Workshop on (Constraint) Logic Programming
{(WLP} 2014) Proceedings of the 23rd International Workshop on Functional
and (Constraint) Logic Programming, Wittenberg, Germany, September
15-17, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1335},
pages = {172--186},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1335/wflp2014\_paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/wlp/GodderzV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/VoigtlanderHMW13,
author = {Janis Voigtl{\"{a}}nder and
Zhenjiang Hu and
Kazutaka Matsuda and
Meng Wang},
title = {Enhancing semantic bidirectionalization via shape bidirectionalizer
plug-ins},
journal = {J. Funct. Program.},
volume = {23},
number = {5},
pages = {515--551},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000130},
doi = {10.1017/S0956796813000130},
timestamp = {Sun, 17 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/VoigtlanderHMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BirdGMVS13,
author = {Richard S. Bird and
Jeremy Gibbons and
Stefan Mehner and
Janis Voigtl{\"{a}}nder and
Tom Schrijvers},
editor = {Chung{-}chieh Shan},
title = {Understanding idiomatic traversals backwards and forwards},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} Symposium on Haskell, Boston,
MA, USA, September 23-24, 2013},
pages = {25--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503778.2503781},
doi = {10.1145/2503778.2503781},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/BirdGMVS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KnoopV13a,
author = {Jens Knoop and
Janis Voigtl{\"{a}}nder},
editor = {Stefan Wagner and
Horst Lichter},
title = {Vorwort zur 6. Arbeitstagung Programmiersprachen {(ATPS} 2013)},
booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. M{\"{a}}rz
2013 in Aachen},
series = {{LNI}},
volume = {{P-215}},
pages = {17--20},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17360},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KnoopV13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KnoopV13,
author = {Jens Knoop and
Janis Voigtl{\"{a}}nder},
editor = {Stefan Kowalewski and
Bernhard Rumpe},
title = {6. Arbeitstagung Programmiersprachen {(ATPS} 2013)},
booktitle = {Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik,
26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
series = {{LNI}},
volume = {{P-213}},
pages = {369},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17722},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KnoopV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PachecoMCV13,
author = {Hugo Pacheco and
Nuno Macedo and
Alcino Cunha and
Janis Voigtl{\"{a}}nder},
title = {A Generic Scheme and Properties of Bidirectional Transformations},
journal = {CoRR},
volume = {abs/1306.4473},
year = {2013},
url = {http://arxiv.org/abs/1306.4473},
eprinttype = {arXiv},
eprint = {1306.4473},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PachecoMCV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HermannV12,
author = {Frank Hermann and
Janis Voigtl{\"{a}}nder},
title = {First International Workshop on Bidirectional Transformations {(BX}
2012): Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {49},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.49.733},
doi = {10.14279/TUJ.ECEASST.49.733},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HermannV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/Voigtlander12,
author = {Janis Voigtl{\"{a}}nder},
editor = {Anthony Sloane and
Suzana Andova},
title = {Programming language approaches to bidirectional transformation},
booktitle = {International Workshop on Language Descriptions, Tools, and Applications,
{LDTA} '12, Tallinn, Estonia, March 31 - April 1, 2012},
pages = {1},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2427048.2427049},
doi = {10.1145/2427048.2427049},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/Voigtlander12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Voigtlander12,
author = {Janis Voigtl{\"{a}}nder},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Ideas for connecting inductive program synthesis and bidirectionalization},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {39--42},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103757},
doi = {10.1145/2103746.2103757},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Voigtlander12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HuchV12,
author = {Frank Huch and
Janis Voigtl{\"{a}}nder},
editor = {Stefan J{\"{a}}hnichen and
Axel K{\"{u}}pper and
Sahin Albayrak},
title = {5. Arbeitstagung Programmiersprachen {(ATPS} 2012)},
booktitle = {Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik,
27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
series = {{LNI}},
volume = {{P-198}},
pages = {195},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18355},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HuchV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2012,
editor = {Janis Voigtl{\"{a}}nder},
title = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2012, Copenhagen, Denmark, 13 September 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364506},
doi = {10.1145/2364506},
isbn = {978-1-4503-1574-6},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SeidelV11,
author = {Daniel Seidel and
Janis Voigtl{\"{a}}nder},
title = {Refined typing to localize the impact of forced strictness on free
theorems},
journal = {Acta Informatica},
volume = {48},
number = {3},
pages = {191--211},
year = {2011},
url = {https://doi.org/10.1007/s00236-011-0136-9},
doi = {10.1007/S00236-011-0136-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SeidelV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FernandesSSV11,
author = {Jo{\~{a}}o Paulo Fernandes and
Jo{\~{a}}o Saraiva and
Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Siau{-}Cheng Khoo and
Jeremy G. Siek},
title = {Strictification of circular programs},
booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
2011},
pages = {131--140},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929501.1929526},
doi = {10.1145/1929501.1929526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/FernandesSSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1107-1203,
author = {Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Mieke Massink and
Gethin Norman},
title = {Improvements for Free},
booktitle = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
2011},
series = {{EPTCS}},
volume = {57},
pages = {89--103},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.57.7},
doi = {10.4204/EPTCS.57.7},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GallagherV10,
author = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {23},
number = {3},
pages = {273--274},
year = {2010},
url = {https://doi.org/10.1007/s10990-011-9081-0},
doi = {10.1007/S10990-011-9081-0},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/GallagherV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SeidelV10,
author = {Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Automatically Generating Counterexamples to Naive Free Theorems},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {175--190},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_14},
doi = {10.1007/978-3-642-12251-4\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/SeidelV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VoigtlanderHMW10,
author = {Janis Voigtl{\"{a}}nder and
Zhenjiang Hu and
Kazutaka Matsuda and
Meng Wang},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Combining syntactic and semantic bidirectionalization},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {181--192},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863571},
doi = {10.1145/1863543.1863571},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VoigtlanderHMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JohannSV10,
author = {Patricia Johann and
Alex Simpson and
Janis Voigtl{\"{a}}nder},
title = {A Generic Operational Metatheory for Algebraic Effects},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {209--218},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.29},
doi = {10.1109/LICS.2010.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JohannSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/ChristiansenSV10,
author = {Jan Christiansen and
Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Jean{-}Christophe Filli{\^{a}}tre and
Cormac Flanagan},
title = {Free theorems for functional logic programs},
booktitle = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
pages = {39--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1707790.1707797},
doi = {10.1145/1707790.1707797},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/ChristiansenSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssgip/FosterMV10,
author = {Nate Foster and
Kazutaka Matsuda and
Janis Voigtl{\"{a}}nder},
editor = {Jeremy Gibbons},
title = {Three Complementary Approaches to Bidirectional Programming},
booktitle = {Generic and Indexed Programming - International Spring School, {SSGIP}
2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7470},
pages = {1--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-32202-0\_1},
doi = {10.1007/978-3-642-32202-0\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ssgip/FosterMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/SeidelV10,
author = {Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Till Mossakowski and
Hans{-}J{\"{o}}rg Kreowski},
title = {Proving Properties about Functions on Lists Involving Element Tests},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International
Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {270--286},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28412-0\_17},
doi = {10.1007/978-3-642-28412-0\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/SeidelV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/ChristiansenSV10,
author = {Jan Christiansen and
Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Julio Mari{\~{n}}o},
title = {An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry},
booktitle = {Functional and Constraint Logic Programming - 19th International Workshop,
{WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6559},
pages = {119--136},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20775-4\_7},
doi = {10.1007/978-3-642-20775-4\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/wflp/ChristiansenSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2010,
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1706356},
isbn = {978-1-60558-727-1},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JohannV09,
author = {Patricia Johann and
Janis Voigtl{\"{a}}nder},
title = {A family of syntactic logical relations for the semantics of Haskell-like
languages},
journal = {Inf. Comput.},
volume = {207},
number = {2},
pages = {341--368},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2007.11.009},
doi = {10.1016/J.IC.2007.11.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JohannV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ChristiansenSV09,
author = {Jan Christiansen and
Daniel Seidel and
Janis Voigtl{\"{a}}nder},
title = {Free theorems for functional logic programs: (abstract only)},
journal = {{ACM} {SIGPLAN} Notices},
volume = {44},
number = {11},
pages = {7},
year = {2009},
url = {https://doi.org/10.1145/1816027.1816035},
doi = {10.1145/1816027.1816035},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/ChristiansenSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SeidelV09,
author = {Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Stefan Fischer and
Erik Maehle and
R{\"{u}}diger Reischuk},
title = {Taming Selective Strictness},
booktitle = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
28 - October 2, 2009, Proceedings},
series = {{LNI}},
volume = {{P-154}},
pages = {2916--2930},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/31295},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/SeidelV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Voigtlander09,
author = {Janis Voigtl{\"{a}}nder},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Free theorems involving type constructor classes: functional pearl},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {173--184},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596577},
doi = {10.1145/1596550.1596577},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Voigtlander09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Voigtlander09,
author = {Janis Voigtl{\"{a}}nder},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Bidirectionalization for free! (Pearl)},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {165--176},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480904},
doi = {10.1145/1480881.1480904},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/Voigtlander09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/StengerV09,
author = {Florian Stenger and
Janis Voigtl{\"{a}}nder},
editor = {Pierre{-}Louis Curien},
title = {Parametricity for Haskell with Imprecise Error Semantics},
booktitle = {Typed Lambda Calculi and Applications, 9th International Conference,
{TLCA} 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5608},
pages = {294--308},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02273-9\_22},
doi = {10.1007/978-3-642-02273-9\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/StengerV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Voigtlander08,
author = {Janis Voigtl{\"{a}}nder},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Semantics and Pragmatics of New Shortcut Fusion Rules},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {163--179},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_13},
doi = {10.1007/978-3-540-78969-7\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Voigtlander08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Voigtlander08,
author = {Janis Voigtl{\"{a}}nder},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Asymptotic Improvement of Computations over Free Monads},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {388--403},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_20},
doi = {10.1007/978-3-540-70594-9\_20},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Voigtlander08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Voigtlander08,
author = {Janis Voigtl{\"{a}}nder},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Proving correctness via free theorems: the case of the destroy/build-rule},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {13--20},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328412},
doi = {10.1145/1328408.1328412},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Voigtlander08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Voigtlander08,
author = {Janis Voigtl{\"{a}}nder},
editor = {George C. Necula and
Philip Wadler},
title = {Much ado about two (pearl): a pearl on parallel prefix computation},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {29--35},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328445},
doi = {10.1145/1328438.1328445},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/Voigtlander08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GieslKV07,
author = {J{\"{u}}rgen Giesl and
Armin K{\"{u}}hnemann and
Janis Voigtl{\"{a}}nder},
title = {Deaccumulation techniques for improving provability},
journal = {J. Log. Algebraic Methods Program.},
volume = {71},
number = {2},
pages = {79--113},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.11.001},
doi = {10.1016/J.JLAP.2006.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GieslKV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Voigtlander07,
author = {Janis Voigtl{\"{a}}nder},
title = {Formal Efficiency Analysis for Tree Transducer Composition},
journal = {Theory Comput. Syst.},
volume = {41},
number = {4},
pages = {619--689},
year = {2007},
url = {https://doi.org/10.1007/s00224-006-1235-9},
doi = {10.1007/S00224-006-1235-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Voigtlander07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VoigtlanderJ07,
author = {Janis Voigtl{\"{a}}nder and
Patricia Johann},
title = {Selective strictness and parametricity in structural operational semantics,
inequationally},
journal = {Theor. Comput. Sci.},
volume = {388},
number = {1-3},
pages = {290--318},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.014},
doi = {10.1016/J.TCS.2007.09.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VoigtlanderJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JohannV06,
author = {Patricia Johann and
Janis Voigtl{\"{a}}nder},
title = {The Impact of seq on Free Theorems-Based Program Transformations},
journal = {Fundam. Informaticae},
volume = {69},
number = {1-2},
pages = {63--102},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JohannV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Voigtlander2005,
author = {Janis Voigtl{\"{a}}nder},
title = {Tree transducer composition as program transformation},
school = {Dresden University of Technology},
year = {2005},
url = {https://d-nb.info/975970852},
isbn = {3-89959-369-3},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Voigtlander2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/VoigtlanderK04,
author = {Janis Voigtl{\"{a}}nder and
Armin K{\"{u}}hnemann},
title = {Composition of functions with accumulating parameters},
journal = {J. Funct. Program.},
volume = {14},
number = {3},
pages = {317--363},
year = {2004},
url = {https://doi.org/10.1017/S0956796803004933},
doi = {10.1017/S0956796803004933},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/VoigtlanderK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Voigtlander04,
author = {Janis Voigtl{\"{a}}nder},
title = {Using Circular Programs to Deforest in Accumulating Parameters},
journal = {High. Order Symb. Comput.},
volume = {17},
number = {1-2},
pages = {129--163},
year = {2004},
url = {https://doi.org/10.1023/B:LISP.0000029450.36668.cb},
doi = {10.1023/B:LISP.0000029450.36668.CB},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Voigtlander04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JohannV04,
author = {Patricia Johann and
Janis Voigtl{\"{a}}nder},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Free theorems in the presence of \emph{seq}},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {99--110},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964010},
doi = {10.1145/964001.964010},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/JohannV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GieslKV03,
author = {J{\"{u}}rgen Giesl and
Armin K{\"{u}}hnemann and
Janis Voigtl{\"{a}}nder},
editor = {Vijay A. Saraswat},
title = {Deaccumulation - Improving Provability},
booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
and Distributed Computation, 8th Asian Computing Science Conference,
Mumbai, India, December 10-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2896},
pages = {146--160},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40965-6\_10},
doi = {10.1007/978-3-540-40965-6\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/GieslKV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Voigtlander02,
author = {Janis Voigtl{\"{a}}nder},
editor = {Mitchell Wand and
Simon L. Peyton Jones},
title = {Concatenate, reverse and map vanish for free},
booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
USA, October 4-6, 2002},
pages = {14--25},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581478.581481},
doi = {10.1145/581478.581481},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Voigtlander02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Voigtlander02,
author = {Janis Voigtl{\"{a}}nder},
editor = {Kenichi Asai and
Wei{-}Ngan Chin},
title = {Using circular programs to deforest in accumulating parameters},
booktitle = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium
on Partial Evaluation and Semantics-Based Program Manipulation, Aizu,
Japan, September 12-14, 2002},
pages = {126--137},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568173.568187},
doi = {10.1145/568173.568187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Voigtlander02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Voigtlander02,
author = {Janis Voigtl{\"{a}}nder},
editor = {Sophie Tison},
title = {Conditions for Efficiency Improvement by Tree Transducer Composition},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {222--236},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_16},
doi = {10.1007/3-540-45610-4\_16},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Voigtlander02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-28 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
