default search action
Search dblp for Publications
export results for "toc:db/conf/aplas/aplas2013.bht:"
@inproceedings{DBLP:conf/aplas/Benton13, author = {Nick Benton}, editor = {Chung{-}chieh Shan}, title = {The Proof Assistant as an Integrated Development Environment}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {307--314}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_22}, doi = {10.1007/978-3-319-03542-0\_22}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Benton13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BiernackiL13, author = {Dariusz Biernacki and Sergue{\"{\i}} Lenglet}, editor = {Chung{-}chieh Shan}, title = {Environmental Bisimulations for Delimited-Control Operators}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {333--348}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_24}, doi = {10.1007/978-3-319-03542-0\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BiernackiL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BlotR13, author = {Valentin Blot and Colin Riba}, editor = {Chung{-}chieh Shan}, title = {On Bar Recursion and Choice in a Classical Setting}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {349--364}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_25}, doi = {10.1007/978-3-319-03542-0\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BlotR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BonchiCPS13, author = {Filippo Bonchi and Georgiana Caltais and Damien Pous and Alexandra Silva}, editor = {Chung{-}chieh Shan}, title = {Brzozowski's and Up-To Algorithms for Must Testing}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {1--16}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_1}, doi = {10.1007/978-3-319-03542-0\_1}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BonchiCPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/BrobergDS13, author = {Niklas Broberg and Bart van Delft and David Sands}, editor = {Chung{-}chieh Shan}, title = {Paragon for Practical Programming with Information-Flow Control}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {217--232}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_16}, doi = {10.1007/978-3-319-03542-0\_16}, timestamp = {Tue, 09 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/BrobergDS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/CifuentesK13, author = {Cristina Cifuentes and Nathan Keynes}, editor = {Chung{-}chieh Shan}, title = {Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk)}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {172--175}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_12}, doi = {10.1007/978-3-319-03542-0\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/CifuentesK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/FahrenbergL13, author = {Uli Fahrenberg and Axel Legay}, editor = {Chung{-}chieh Shan}, title = {Generalized Quantitative Analysis of Metric Transition Systems}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {192--208}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_14}, doi = {10.1007/978-3-319-03542-0\_14}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/FahrenbergL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/FujimaIK13, author = {Koichi Fujima and Sohei Ito and Naoki Kobayashi}, editor = {Chung{-}chieh Shan}, title = {Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {17--32}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_2}, doi = {10.1007/978-3-319-03542-0\_2}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/FujimaIK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/GarrigueR13, author = {Jacques Garrigue and Didier R{\'{e}}my}, editor = {Chung{-}chieh Shan}, title = {Ambivalent Types for Principal Type Inference with GADTs}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {257--272}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_19}, doi = {10.1007/978-3-319-03542-0\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/GarrigueR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/GoubaultP13, author = {Eric Goubault and Sylvie Putot}, editor = {Chung{-}chieh Shan}, title = {Robustness Analysis of Finite Precision Implementations}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {50--57}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_4}, doi = {10.1007/978-3-319-03542-0\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/GoubaultP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/HengleinH13, author = {Fritz Henglein and Ralf Hinze}, editor = {Chung{-}chieh Shan}, title = {Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {315--332}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_23}, doi = {10.1007/978-3-319-03542-0\_23}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/HengleinH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/KimRLS13, author = {Jieung Kim and Sukyoung Ryu and Victor Luchangco and Guy L. Steele Jr.}, editor = {Chung{-}chieh Shan}, title = {Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {156--171}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_11}, doi = {10.1007/978-3-319-03542-0\_11}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/KimRLS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/KojimaI13, author = {Kensuke Kojima and Atsushi Igarashi}, editor = {Chung{-}chieh Shan}, title = {A Hoare Logic for {SIMT} Programs}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {58--73}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_5}, doi = {10.1007/978-3-319-03542-0\_5}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/KojimaI13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/KranzSS13, author = {Julian Kranz and Alexander Sepp and Axel Simon}, editor = {Chung{-}chieh Shan}, title = {{GDSL:} {A} Universal Toolkit for Giving Semantics to Machine Language}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {209--216}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_15}, doi = {10.1007/978-3-319-03542-0\_15}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/KranzSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/LuceroNS13, author = {Giovanny Lucero and David A. Naumann and Augusto Sampaio}, editor = {Chung{-}chieh Shan}, title = {Laws of Programming for References}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {124--139}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_9}, doi = {10.1007/978-3-319-03542-0\_9}, timestamp = {Wed, 12 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/LuceroNS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/NaR13, author = {Hyunik Na and Sukyoung Ryu}, editor = {Chung{-}chieh Shan}, title = {ThisJava: An Extension of Java with Exact Types}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {233--240}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_17}, doi = {10.1007/978-3-319-03542-0\_17}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/NaR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/PatrignaniCP13, author = {Marco Patrignani and Dave Clarke and Frank Piessens}, editor = {Chung{-}chieh Shan}, title = {Secure Compilation of Object-Oriented Components to Protected Module Architectures}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {176--191}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_13}, doi = {10.1007/978-3-319-03542-0\_13}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/PatrignaniCP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/PerezR13, author = {Juan Antonio Navarro P{\'{e}}rez and Andrey Rybalchenko}, editor = {Chung{-}chieh Shan}, title = {Separation Logic Modulo Theories}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {90--106}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_7}, doi = {10.1007/978-3-319-03542-0\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/PerezR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/PierroW13, author = {Alessandra Di Pierro and Herbert Wiklicky}, editor = {Chung{-}chieh Shan}, title = {Semantics of Probabilistic Programs: {A} Weak Limit Approach}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {241--256}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_18}, doi = {10.1007/978-3-319-03542-0\_18}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/PierroW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Puech13, author = {Matthias Puech}, editor = {Chung{-}chieh Shan}, title = {Proofs, Upside Down - {A} Functional Correspondence between Natural Deduction and the Sequent Calculus}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {365--380}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_26}, doi = {10.1007/978-3-319-03542-0\_26}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Puech13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/SiegelMS13, author = {Holger Siegel and Bogdan Mihaila and Axel Simon}, editor = {Chung{-}chieh Shan}, title = {The Undefined Domain: Precise Relational Information for Entities That Do Not Exist}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {74--89}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_6}, doi = {10.1007/978-3-319-03542-0\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/SiegelMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/SongT13, author = {Fu Song and Tayssir Touili}, editor = {Chung{-}chieh Shan}, title = {Model Checking Dynamic Pushdown Networks}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {33--49}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_3}, doi = {10.1007/978-3-319-03542-0\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/SongT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/TrinhLDC13, author = {Minh{-}Thai Trinh and Quang Loc Le and Cristina David and Wei{-}Ngan Chin}, editor = {Chung{-}chieh Shan}, title = {Bi-Abduction with Pure Properties for Specification Inference}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {107--123}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_8}, doi = {10.1007/978-3-319-03542-0\_8}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/TrinhLDC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/VoigtM13, author = {Janina Voigt and Alan Mycroft}, editor = {Chung{-}chieh Shan}, title = {Dynamic Alias Protection with Aliasing Contracts}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {140--155}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_10}, doi = {10.1007/978-3-319-03542-0\_10}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/VoigtM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/WangWHCL13, author = {Farn Wang and Jung{-}Hsuan Wu and Chung{-}Hao Huang and Cheng{-}Chieh Chang and Chung{-}Cheng Li}, editor = {Chung{-}chieh Shan}, title = {Temporal Specification Mining for Anomaly Analysis}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {273--289}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_20}, doi = {10.1007/978-3-319-03542-0\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/WangWHCL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/ZhuDD13, author = {Haiyan Zhu and Thomas Dillig and Isil Dillig}, editor = {Chung{-}chieh Shan}, title = {Automated Inference of Library Specifications for Source-Sink Property Verification}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {290--306}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_21}, doi = {10.1007/978-3-319-03542-0\_21}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/ZhuDD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aplas/2013, editor = {Chung{-}chieh Shan}, title = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0}, doi = {10.1007/978-3-319-03542-0}, isbn = {978-3-319-03541-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/2013.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.