default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aplas/aplas2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/aplas/AccattoliB17,
author = {Beniamino Accattoli and
Bruno Barras},
editor = {Bor{-}Yuh Evan Chang},
title = {The Negligible and Yet Subtle Cost of Pattern Matching},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {426--447},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_21},
doi = {10.1007/978-3-319-71237-6\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AccattoliB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CaoCA17,
author = {Qinxiang Cao and
Santiago Cu{\'{e}}llar and
Andrew W. Appel},
editor = {Bor{-}Yuh Evan Chang},
title = {Bringing Order to the Separation Logic Jungle},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {190--211},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_10},
doi = {10.1007/978-3-319-71237-6\_10},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/CaoCA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChawdharyK17,
author = {Aziem Chawdhary and
Andy King},
editor = {Bor{-}Yuh Evan Chang},
title = {Compact Difference Bound Matrices},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {471--490},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_23},
doi = {10.1007/978-3-319-71237-6\_23},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/ChawdharyK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DahiyaB17,
author = {Manjeet Dahiya and
Sorav Bansal},
editor = {Bor{-}Yuh Evan Chang},
title = {Black-Box Equivalence Checking Across Compiler Optimizations},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {127--147},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_7},
doi = {10.1007/978-3-319-71237-6\_7},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/DahiyaB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Diaz-Caro17,
author = {Alejandro D{\'{\i}}az{-}Caro},
editor = {Bor{-}Yuh Evan Chang},
title = {A Lambda Calculus for Density Matrices with Classical and Probabilistic
Controls},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {448--467},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_22},
doi = {10.1007/978-3-319-71237-6\_22},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/Diaz-Caro17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Erbatur0Z17,
author = {Serdar Erbatur and
Martin Hofmann and
Eugen Zalinescu},
editor = {Bor{-}Yuh Evan Chang},
title = {Enforcing Programming Guidelines with Region Types and Effects},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {85--104},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_5},
doi = {10.1007/978-3-319-71237-6\_5},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/Erbatur0Z17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GinkelSP17,
author = {Neline van Ginkel and
Raoul Strackx and
Frank Piessens},
editor = {Bor{-}Yuh Evan Chang},
title = {Automatically Generating Secure Wrappers for {SGX} Enclaves from Separation
Logic Specifications},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {105--123},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_6},
doi = {10.1007/978-3-319-71237-6\_6},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/GinkelSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GulwaniJ17,
author = {Sumit Gulwani and
Prateek Jain},
editor = {Bor{-}Yuh Evan Chang},
title = {Programming by Examples: {PL} Meets {ML}},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {3--20},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_1},
doi = {10.1007/978-3-319-71237-6\_1},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/GulwaniJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HayesWM17,
author = {Ian J. Hayes and
Xi Wu and
Larissa A. Meinicke},
editor = {Bor{-}Yuh Evan Chang},
title = {Capabilities for Java: Secure Access to Resources},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {67--84},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_4},
doi = {10.1007/978-3-319-71237-6\_4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HayesWM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HeR17,
author = {Shaobo He and
Zvonimir Rakamaric},
editor = {Bor{-}Yuh Evan Chang},
title = {Counterexample-Guided Bit-Precision Selection},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {534--553},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_26},
doi = {10.1007/978-3-319-71237-6\_26},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/HeR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KimSGS17,
author = {Jieung Kim and
Vilhelm Sj{\"{o}}berg and
Ronghui Gu and
Zhong Shao},
editor = {Bor{-}Yuh Evan Chang},
title = {Safety and Liveness of {MCS} Lock - Layer by Layer},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {273--297},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_14},
doi = {10.1007/978-3-319-71237-6\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KimSGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KimuraT17,
author = {Daisuke Kimura and
Makoto Tatsuta},
editor = {Bor{-}Yuh Evan Chang},
title = {Decision Procedure for Entailment of Symbolic Heaps with Arrays},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {169--189},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_9},
doi = {10.1007/978-3-319-71237-6\_9},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/KimuraT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KiselyovK17,
author = {Oleg Kiselyov and
Tatsuya Katsushima},
editor = {Bor{-}Yuh Evan Chang},
title = {Sound and Efficient Language-Integrated Query - Maintaining the {ORDER}},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {364--383},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_18},
doi = {10.1007/978-3-319-71237-6\_18},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/KiselyovK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KoRR17,
author = {Yoonseok Ko and
Xavier Rival and
Sukyoung Ryu},
editor = {Bor{-}Yuh Evan Chang},
title = {Weakly Sensitive Analysis for Unbounded Iteration over JavaScript
Objects},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {148--168},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_8},
doi = {10.1007/978-3-319-71237-6\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KoRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Leijen17,
author = {Daan Leijen},
editor = {Bor{-}Yuh Evan Chang},
title = {Implementing Algebraic Effects in {C} - "Monads for Free in C"},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {339--363},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_17},
doi = {10.1007/978-3-319-71237-6\_17},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/Leijen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LiMT17,
author = {Ximeng Li and
Heiko Mantel and
Markus Tasch},
editor = {Bor{-}Yuh Evan Chang},
title = {Taming Message-Passing Communication in Compositional Reasoning About
Confidentiality},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {45--66},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_3},
doi = {10.1007/978-3-319-71237-6\_3},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/LiMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MatacheGM17,
author = {Cristina Matache and
Victor B. F. Gomes and
Dominic P. Mulligan},
editor = {Bor{-}Yuh Evan Chang},
title = {Programming and Proving with Classical Types},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {215--234},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_11},
doi = {10.1007/978-3-319-71237-6\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/MatacheGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NakamuraKSI17,
author = {Hirofumi Nakamura and
Kensuke Kojima and
Kohei Suenaga and
Atsushi Igarashi},
editor = {Bor{-}Yuh Evan Chang},
title = {A Nonstandard Functional Programming Language},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {514--533},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_25},
doi = {10.1007/978-3-319-71237-6\_25},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/NakamuraKSI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Nipkow17,
author = {Tobias Nipkow},
editor = {Bor{-}Yuh Evan Chang},
title = {Verified Root-Balanced Trees},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {255--272},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_13},
doi = {10.1007/978-3-319-71237-6\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Nipkow17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/OkudonoNKSKH17,
author = {Takamasa Okudono and
Yuki Nishida and
Kensuke Kojima and
Kohei Suenaga and
Kengo Kido and
Ichiro Hasuo},
editor = {Bor{-}Yuh Evan Chang},
title = {Sharper and Simpler Nonlinear Interpolants for Program Verification},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {491--513},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_24},
doi = {10.1007/978-3-319-71237-6\_24},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/OkudonoNKSKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PommelletT17,
author = {Adrien Pommellet and
Tayssir Touili},
editor = {Bor{-}Yuh Evan Chang},
title = {Static Analysis of Multithreaded Recursive Programs Communicating
via Rendez-Vous},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {235--254},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_12},
doi = {10.1007/978-3-319-71237-6\_12},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PommelletT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ReyndersD17,
author = {Bob Reynders and
Dominique Devriese},
editor = {Bor{-}Yuh Evan Chang},
title = {Efficient Functional Reactive Programming Through Incremental Behaviors},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {321--338},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_16},
doi = {10.1007/978-3-319-71237-6\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/ReyndersD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SulzmannT17,
author = {Martin Sulzmann and
Peter Thiemann},
editor = {Bor{-}Yuh Evan Chang},
title = {A Computational Interpretation of Context-Free Expressions},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {387--405},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_19},
doi = {10.1007/978-3-319-71237-6\_19},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/SulzmannT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/UustaluV17,
author = {Tarmo Uustalu and
Niccol{\`{o}} Veltri},
editor = {Bor{-}Yuh Evan Chang},
title = {Partiality and Container Monads},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {406--425},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_20},
doi = {10.1007/978-3-319-71237-6\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/UustaluV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/YanJWZ17,
author = {Gaogao Yan and
Li Jiao and
Shuling Wang and
Naijun Zhan},
editor = {Bor{-}Yuh Evan Chang},
title = {Synthesizing SystemC Code from Delay Hybrid {CSP}},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {21--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_2},
doi = {10.1007/978-3-319-71237-6\_2},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/YanJWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ZhangKH17,
author = {Yongzhe Zhang and
Hsiang{-}Shang Ko and
Zhenjiang Hu},
editor = {Bor{-}Yuh Evan Chang},
title = {Palgol: {A} High-Level {DSL} for Vertex-Centric Graph Processing with
Remote Data Access},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {301--320},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_15},
doi = {10.1007/978-3-319-71237-6\_15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/ZhangKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2017,
editor = {Bor{-}Yuh Evan Chang},
title = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6},
doi = {10.1007/978-3-319-71237-6},
isbn = {978-3-319-71236-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-02 09:53 CET from data curated 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:
