Search dblp for Publications

export results for "toc:db/conf/aplas/aplas2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aplas/AnnamaaBKV10,
  author       = {Aivar Annamaa and
                  Andrey Breslav and
                  Jevgeni Kabanov and
                  Varmo Vene},
  editor       = {Kazunori Ueda},
  title        = {An Interactive Tool for Analyzing Embedded {SQL} Queries},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {131--138},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_10},
  doi          = {10.1007/978-3-642-17164-2\_10},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/AnnamaaBKV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/AntonT10,
  author       = {Konrad Anton and
                  Peter Thiemann},
  editor       = {Kazunori Ueda},
  title        = {Towards Deriving Type Systems and Implementations for Coroutines},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {63--79},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_6},
  doi          = {10.1007/978-3-642-17164-2\_6},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/AntonT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/BaldanBGM10,
  author       = {Paolo Baldan and
                  Filippo Bonchi and
                  Fabio Gadducci and
                  Giacoma Valentina Monreale},
  editor       = {Kazunori Ueda},
  title        = {Concurrency Can't Be Observed, Asynchronously},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {424--438},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_29},
  doi          = {10.1007/978-3-642-17164-2\_29},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BaldanBGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/BhargavanFG10,
  author       = {Karthikeyan Bhargavan and
                  C{\'{e}}dric Fournet and
                  Nataliya Guts},
  editor       = {Kazunori Ueda},
  title        = {Typechecking Higher-Order Security Libraries},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {47--62},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_5},
  doi          = {10.1007/978-3-642-17164-2\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BhargavanFG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChawdharyY10,
  author       = {Aziem Chawdhary and
                  Hongseok Yang},
  editor       = {Kazunori Ueda},
  title        = {Metric Spaces and Termination Analyses},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {156--171},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_12},
  doi          = {10.1007/978-3-642-17164-2\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ChawdharyY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/DemangeJP10,
  author       = {Delphine Demange and
                  Thomas P. Jensen and
                  David Pichardie},
  editor       = {Kazunori Ueda},
  title        = {A Provably Correct Stackless Intermediate Representation for Java
                  Bytecode},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {97--113},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_8},
  doi          = {10.1007/978-3-642-17164-2\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/DemangeJP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/FlexederMPS10,
  author       = {Andrea Flexeder and
                  Bogdan Mihaila and
                  Michael Petter and
                  Helmut Seidl},
  editor       = {Kazunori Ueda},
  title        = {Interprocedural Control Flow Reconstruction},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {188--203},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_14},
  doi          = {10.1007/978-3-642-17164-2\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/FlexederMPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Garrigue10,
  author       = {Jacques Garrigue},
  editor       = {Kazunori Ueda},
  title        = {A Certified Implementation of {ML} with Structural Polymorphism},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {360--375},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_25},
  doi          = {10.1007/978-3-642-17164-2\_25},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Garrigue10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HawkinsAFRS10,
  author       = {Peter Hawkins and
                  Alex Aiken and
                  Kathleen Fisher and
                  Martin C. Rinard and
                  Mooly Sagiv},
  editor       = {Kazunori Ueda},
  title        = {Data Structure Fusion},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {204--221},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_15},
  doi          = {10.1007/978-3-642-17164-2\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HawkinsAFRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/He10,
  author       = {Chaodong He},
  editor       = {Kazunori Ueda},
  title        = {Model Independent Order Relations for Processes},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {408--423},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_28},
  doi          = {10.1007/978-3-642-17164-2\_28},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/He10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HoborDA10,
  author       = {Aquinas Hobor and
                  Robert Dockins and
                  Andrew W. Appel},
  editor       = {Kazunori Ueda},
  title        = {A Logical Mix of Approximation and Separation},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {439--454},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_30},
  doi          = {10.1007/978-3-642-17164-2\_30},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HoborDA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HoffmannH10,
  author       = {Jan Hoffmann and
                  Martin Hofmann},
  editor       = {Kazunori Ueda},
  title        = {Amortized Resource Analysis with Polymorphic Recursion and Partial
                  Big-Step Operational Semantics},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {172--187},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_13},
  doi          = {10.1007/978-3-642-17164-2\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HoffmannH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/JacobsSP10,
  author       = {Bart Jacobs and
                  Jan Smans and
                  Frank Piessens},
  editor       = {Kazunori Ueda},
  title        = {A Quick Tour of the VeriFast Program Verifier},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {304--311},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_21},
  doi          = {10.1007/978-3-642-17164-2\_21},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/JacobsSP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KatoHHNI10,
  author       = {Hiroyuki Kato and
                  Soichiro Hidaka and
                  Zhenjiang Hu and
                  Keisuke Nakano and
                  Yasunori Ishihara},
  editor       = {Kazunori Ueda},
  title        = {Context-Preserving XQuery Fusion},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {255--270},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_18},
  doi          = {10.1007/978-3-642-17164-2\_18},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/KatoHHNI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Katsumata10,
  author       = {Shin{-}ya Katsumata},
  editor       = {Kazunori Ueda},
  title        = {Categorical Descriptional Composition},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {222--238},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_16},
  doi          = {10.1007/978-3-642-17164-2\_16},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Katsumata10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KeroPN10,
  author       = {Martin Kero and
                  Pawel Pietrzak and
                  Johan Nordlander},
  editor       = {Kazunori Ueda},
  title        = {Live Heap Space Bounds for Real-Time Systems},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {287--303},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_20},
  doi          = {10.1007/978-3-642-17164-2\_20},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KeroPN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Klein10,
  author       = {Gerwin Klein},
  editor       = {Kazunori Ueda},
  title        = {From a Verified Kernel towards Verified Systems},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {21--33},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_3},
  doi          = {10.1007/978-3-642-17164-2\_3},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/Klein10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KongJDWY10,
  author       = {Soonho Kong and
                  Yungbum Jung and
                  Cristina David and
                  Bow{-}Yaw Wang and
                  Kwangkeun Yi},
  editor       = {Kazunori Ueda},
  title        = {Automatically Inferring Quantified Loop Invariants by Algorithmic
                  Learning from Simple Templates},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {328--343},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_23},
  doi          = {10.1007/978-3-642-17164-2\_23},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KongJDWY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/LagoS10,
  author       = {Ugo Dal Lago and
                  Ulrich Sch{\"{o}}pp},
  editor       = {Kazunori Ueda},
  title        = {Type Inference for Sublinear Space Functional Programming},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {376--391},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_26},
  doi          = {10.1007/978-3-642-17164-2\_26},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/LagoS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/LiuLQZZZZ10,
  author       = {Jiang Liu and
                  Jidong Lv and
                  Zhao Quan and
                  Naijun Zhan and
                  Hengjun Zhao and
                  Chaochen Zhou and
                  Liang Zou},
  editor       = {Kazunori Ueda},
  title        = {A Calculus for Hybrid {CSP}},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_1},
  doi          = {10.1007/978-3-642-17164-2\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/LiuLQZZZZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Lopez-FraguasMR10,
  author       = {Francisco Javier L{\'{o}}pez{-}Fraguas and
                  Enrique Martin{-}Martin and
                  Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
  editor       = {Kazunori Ueda},
  title        = {Liberal Typing for Functional Logic Programs},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {80--96},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_7},
  doi          = {10.1007/978-3-642-17164-2\_7},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Lopez-FraguasMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Miller10,
  author       = {Dale Miller},
  editor       = {Kazunori Ueda},
  title        = {Reasoning about Computations Using Two-Levels of Logic},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {34--46},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_4},
  doi          = {10.1007/978-3-642-17164-2\_4},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Miller10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SimonC10,
  author       = {Axel Simon and
                  Liqian Chen},
  editor       = {Kazunori Ueda},
  title        = {Simple and Precise Widenings for \emph{H}-Polyhedra},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {139--155},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_11},
  doi          = {10.1007/978-3-642-17164-2\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/SimonC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Tan10,
  author       = {Gang Tan},
  editor       = {Kazunori Ueda},
  title        = {{JNI} Light: An Operational Model for the Core {JNI}},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_9},
  doi          = {10.1007/978-3-642-17164-2\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Tan10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/TongL10,
  author       = {Liangliang Tong and
                  Francis C. M. Lau},
  editor       = {Kazunori Ueda},
  title        = {Index-Compact Garbage Collection},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {271--286},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_19},
  doi          = {10.1007/978-3-642-17164-2\_19},
  timestamp    = {Mon, 21 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/TongL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/UnnoTK10,
  author       = {Hiroshi Unno and
                  Naoshi Tabuchi and
                  Naoki Kobayashi},
  editor       = {Kazunori Ueda},
  title        = {Verification of Tree-Processing Programs via Higher-Order Model Checking},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {312--327},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_22},
  doi          = {10.1007/978-3-642-17164-2\_22},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/UnnoTK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/VriesKH10,
  author       = {Edsko de Vries and
                  Vasileios Koutavas and
                  Matthew Hennessy},
  editor       = {Kazunori Ueda},
  title        = {Liveness of Communicating Transactions (Extended Abstract)},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {392--407},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_27},
  doi          = {10.1007/978-3-642-17164-2\_27},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/VriesKH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Ying10,
  author       = {Mingsheng Ying},
  editor       = {Kazunori Ueda},
  title        = {Foundations of Quantum Programming (Extended Abstract)},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {16--20},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_2},
  doi          = {10.1007/978-3-642-17164-2\_2},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ying10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ZhaoZZ10,
  author       = {Jianzhou Zhao and
                  Qi Zhang and
                  Steve Zdancewic},
  editor       = {Kazunori Ueda},
  title        = {Relational Parametricity for a Polymorphic Linear Lambda Calculus},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {344--359},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_24},
  doi          = {10.1007/978-3-642-17164-2\_24},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ZhaoZZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ZhouLLQS10,
  author       = {Xiaocong Zhou and
                  Yongji Li and
                  Wenjun Li and
                  Hai{-}Yan Qiao and
                  Zhongmei Shu},
  editor       = {Kazunori Ueda},
  title        = {Bisimulation Proof Methods in a Path-Based Specification Language
                  for Polynomial Coalgebras},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {239--254},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_17},
  doi          = {10.1007/978-3-642-17164-2\_17},
  timestamp    = {Tue, 24 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ZhouLLQS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aplas/2010,
  editor       = {Kazunori Ueda},
  title        = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2},
  doi          = {10.1007/978-3-642-17164-2},
  isbn         = {978-3-642-17163-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.