Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aplas/aplas2011.bht:"
download as .bib file
@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}
}
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.
retrieved on 2024-08-31 18:23 CEST 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:
