![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/aplas/aplas2011.bht:"
@inproceedings{DBLP:conf/aplas/AlbertAGGP11, author = {Elvira Albert and Puri Arenas and Samir Genaim and Miguel G{\'{o}}mez{-}Zamalloa and German Puebla}, editor = {Hongseok Yang}, title = {Cost Analysis of Concurrent {OO} Programs}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {238--254}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_19}, doi = {10.1007/978-3-642-25318-8\_19}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/AlbertAGGP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/AlglaveKLNT11, author = {Jade Alglave and Daniel Kroening and John Lugton and Vincent Nimal and Michael Tautschnig}, editor = {Hongseok Yang}, title = {Soundness of Data Flow Analyses for Weak Memory Models}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {272--288}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_21}, doi = {10.1007/978-3-642-25318-8\_21}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/AlglaveKLNT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Baillot11, author = {Patrick Baillot}, editor = {Hongseok Yang}, title = {Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {337--352}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_25}, doi = {10.1007/978-3-642-25318-8\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Baillot11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Bjorner11, author = {Nikolaj S. Bj{\o}rner}, editor = {Hongseok Yang}, title = {Engineering Theories with {Z3}}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {4--16}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_3}, doi = {10.1007/978-3-642-25318-8\_3}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Bjorner11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BoissinotBDDR11, author = {Benoit Boissinot and Florian Brandner and Alain Darte and Beno{\^{\i}}t Dupont de Dinechin and Fabrice Rastello}, editor = {Hongseok Yang}, title = {A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict {SSA} Programs}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {137--154}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_13}, doi = {10.1007/978-3-642-25318-8\_13}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BoissinotBDDR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BonchiGM11, author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale}, editor = {Hongseok Yang}, title = {Towards a General Theory of Barbs, Contexts and Labels}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {289--304}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_22}, doi = {10.1007/978-3-642-25318-8\_22}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BonchiGM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/CaoDW11, author = {Zhen Cao and Yuan Dong and Shengyuan Wang}, editor = {Hongseok Yang}, title = {Compiler Backend Generation for Application Specific Instruction Set Processors}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {121--136}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_12}, doi = {10.1007/978-3-642-25318-8\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/CaoDW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/ChiM11, author = {Yun{-}Yan Chi and Shin{-}Cheng Mu}, editor = {Hongseok Yang}, title = {Constructing List Homomorphisms from Proofs}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {74--88}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_9}, doi = {10.1007/978-3-642-25318-8\_9}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/ChiM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/DangG11, author = {Thao Dang and Thomas Martin Gawlitza}, editor = {Hongseok Yang}, title = {Template-Based Unbounded Time Verification of Affine Hybrid Automata}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {34--49}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_6}, doi = {10.1007/978-3-642-25318-8\_6}, timestamp = {Tue, 03 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/DangG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/FroncP11, author = {Lukasz Fronc and Franck Pommereau}, editor = {Hongseok Yang}, title = {Towards a Certified Petri Net Model-Checker}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {322--336}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_24}, doi = {10.1007/978-3-642-25318-8\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/FroncP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/GuptaPR11, author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko}, editor = {Hongseok Yang}, title = {Solving Recursion-Free Horn Clauses over {LI+UIF}}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {188--203}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_16}, doi = {10.1007/978-3-642-25318-8\_16}, timestamp = {Fri, 23 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/GuptaPR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Jhala11, author = {Ranjit Jhala}, editor = {Hongseok Yang}, title = {Software Verification with Liquid Types}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {3}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_2}, doi = {10.1007/978-3-642-25318-8\_2}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Jhala11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/KleinMJF11, author = {Casey Klein and Jay A. McCarthy and Steven Jaconette and Robert Bruce Findler}, editor = {Hongseok Yang}, title = {A Semantics for Context-Sensitive Reduction Semantics}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {369--383}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_27}, doi = {10.1007/978-3-642-25318-8\_27}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/KleinMJF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/KokajiK11, author = {Yuichiro Kokaji and Yukiyoshi Kameyama}, editor = {Hongseok Yang}, title = {Polymorphic Multi-stage Language with Control Effects}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {105--120}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_11}, doi = {10.1007/978-3-642-25318-8\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/KokajiK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/MagaziniusAS11, author = {Jonas Magazinius and Aslan Askarov and Andrei Sabelfeld}, editor = {Hongseok Yang}, title = {Decentralized Delimited Release}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {220--237}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_18}, doi = {10.1007/978-3-642-25318-8\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/MagaziniusAS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/MalkisM11, author = {Alexander Malkis and Laurent Mauborgne}, editor = {Hongseok Yang}, title = {On the Strength of Owicki-Gries for Resources}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {172--187}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_15}, doi = {10.1007/978-3-642-25318-8\_15}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/MalkisM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/MilanovaH11, author = {Ana L. Milanova and Wei Huang}, editor = {Hongseok Yang}, title = {Static Object Race Detection}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {255--271}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_20}, doi = {10.1007/978-3-642-25318-8\_20}, timestamp = {Thu, 24 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/MilanovaH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/MonniauxB11, author = {David Monniaux and Martin Bodin}, editor = {Hongseok Yang}, title = {Modular Abstractions of Reactive Nodes Using Disjunctive Invariants}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {19--33}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_5}, doi = {10.1007/978-3-642-25318-8\_5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/MonniauxB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Morihata11, author = {Akimasa Morihata}, editor = {Hongseok Yang}, title = {Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {204--219}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_17}, doi = {10.1007/978-3-642-25318-8\_17}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Morihata11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/NakataUB11, author = {Keiko Nakata and Tarmo Uustalu and Marc Bezem}, editor = {Hongseok Yang}, title = {A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {353--368}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_26}, doi = {10.1007/978-3-642-25318-8\_26}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/NakataUB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/NoriR11, author = {Aditya V. Nori and Sriram K. Rajamani}, editor = {Hongseok Yang}, title = {Program Analysis and Machine Learning: {A} Win-Win Deal}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {1--2}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_1}, doi = {10.1007/978-3-642-25318-8\_1}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/NoriR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/OHearn11, author = {Peter W. O'Hearn}, editor = {Hongseok Yang}, title = {Algebra, Logic, Locality, Concurrency}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {17--18}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_4}, doi = {10.1007/978-3-642-25318-8\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/OHearn11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/OhY11, author = {Hakjoo Oh and Kwangkeun Yi}, editor = {Hongseok Yang}, title = {Access-Based Localization with Bypassing}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {50--65}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_7}, doi = {10.1007/978-3-642-25318-8\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/OhY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Saenz-PerezCG11, author = {Fernando S{\'{a}}enz{-}P{\'{e}}rez and Rafael Caballero and Yolanda Garc{\'{\i}}a{-}Ruiz}, editor = {Hongseok Yang}, title = {A Deductive Database with Datalog and {SQL} Query Languages}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {66--73}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_8}, doi = {10.1007/978-3-642-25318-8\_8}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Saenz-PerezCG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Schopp11, author = {Ulrich Sch{\"{o}}pp}, editor = {Hongseok Yang}, title = {Computation-by-Interaction with Effects}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {305--321}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_23}, doi = {10.1007/978-3-642-25318-8\_23}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Schopp11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/SuiYXY11, author = {Yulei Sui and Sen Ye and Jingling Xue and Pen{-}Chung Yew}, editor = {Hongseok Yang}, title = {{SPAS:} Scalable Path-Sensitive Pointer Analysis on Full-Sparse {SSA}}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {155--171}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_14}, doi = {10.1007/978-3-642-25318-8\_14}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/SuiYXY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/TraytelBN11, author = {Dmitriy Traytel and Stefan Berghofer and Tobias Nipkow}, editor = {Hongseok Yang}, title = {Extending Hindley-Milner Type Inference with Coercive Structural Subtyping}, booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, pages = {89--104}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8\_10}, doi = {10.1007/978-3-642-25318-8\_10}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/TraytelBN11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aplas/2011, editor = {Hongseok Yang}, title = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7078}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25318-8}, doi = {10.1007/978-3-642-25318-8}, isbn = {978-3-642-25317-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.