Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka |
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 157-165, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mingzhang Huang, Hongfei Fu 0001, Krishnendu Chatterjee |
New Approaches for Almost-Sure Termination of Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 181-201, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Jones 0002, Michael Homer |
The Practice of a Compositional Functional Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 166-177, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Youssef El Bakouny, Dani Mezher |
Scallina: Translating Verified Programs from Coq to Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 131-145, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Taro Sekiyama, Kohei Suenaga |
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 309-328, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001 |
Model Checking Differentially Private Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 394-414, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sukyoung Ryu (eds.) |
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![Springer, 978-3-030-02767-4 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Quang Loc Le, Mengda He |
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 350-372, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Junpeng Zha, Xinyu Feng 0001, Lei Qiao |
Modular Verification of SPARCv8 Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 245-263, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barenbaum, Gonzalo Ciruelos |
Factoring Derivation Spaces via Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 24-44, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Giulio Guerrieri |
Types of Fireballs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 45-66, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Egi, Yuichi Nishiwaki |
Non-linear Pattern Matching with Backtracking for Non-free Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 3-23, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Champion, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
HoIce: An ICE-Based Non-linear Horn Clause Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 146-156, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Peter Thiemann 0001 |
A Computational Interpretation of Context-Free Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 387-405, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Díaz-Caro |
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 448-467, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Erbatur, Martin Hofmann 0001, Eugen Zalinescu |
Enforcing Programming Guidelines with Region Types and Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 85-104, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes, Xi Wu 0005, Larissa A. Meinicke |
Capabilities for Java: Secure Access to Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 67-84, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Bruno Barras |
The Negligible and Yet Subtle Cost of Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 426-447, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu, Niccolò Veltri |
Partiality and Container Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 406-425, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu |
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 301-320, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yoonseok Ko, Xavier Rival, Sukyoung Ryu |
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 148-168, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Kimura, Makoto Tatsuta |
Decision Procedure for Entailment of Symbolic Heaps with Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 169-189, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Tatsuya Katsushima |
Sound and Efficient Language-Integrated Query - Maintaining the ORDER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 364-383, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Pommellet, Tayssir Touili |
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 235-254, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qinxiang Cao, Santiago Cuellar, Andrew W. Appel |
Bringing Order to the Separation Logic Jungle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 190-211, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bor-Yuh Evan Chang (eds.) |
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![Springer, 978-3-319-71236-9 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daan Leijen |
Implementing Algebraic Effects in C - "Monads for Free in C". ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 339-363, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani, Prateek Jain 0002 |
Programming by Examples: PL Meets ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 3-20, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi |
A Nonstandard Functional Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 514-533, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bob Reynders, Dominique Devriese |
Efficient Functional Reactive Programming Through Incremental Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 321-338, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan |
Programming and Proving with Classical Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 215-234, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aziem Chawdhary, Andy King |
Compact Difference Bound Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 471-490, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takamasa Okudono, Yuki Nishida 0001, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo |
Sharper and Simpler Nonlinear Interpolants for Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 491-513, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao |
Safety and Liveness of MCS Lock - Layer by Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 273-297, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neline van Ginkel, Raoul Strackx, Frank Piessens |
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 105-123, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Verified Root-Balanced Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 255-272, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan |
Synthesizing SystemC Code from Delay Hybrid CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 21-41, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shaobo He, Zvonimir Rakamaric |
Counterexample-Guided Bit-Precision Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 534-553, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manjeet Dahiya, Sorav Bansal |
Black-Box Equivalence Checking Across Compiler Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 127-147, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ximeng Li 0001, Heiko Mantel, Markus Tasch |
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 45-66, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira |
Unified Syntax with Iso-types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 251-270, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Giulio Guerrieri |
Open Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 206-226, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo |
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 271-291, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alwen Tiu, Nam Nguyen, Ross Horne |
SPEC: An Equivalence Checker for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 87-95, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kai Stadtmüller, Martin Sulzmann, Peter Thiemann 0001 |
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 116-136, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Taichi Yachi, Eijiro Sumii |
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 171-186, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Taku Terao, Takeshi Tsukada, Naoki Kobayashi 0001 |
Higher-Order Model Checking in Direct Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 295-313, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Abe 0001, Toshiyuki Maeda |
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 63-84, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi 0001 |
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 335-353, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
Implementing Cantor's Paradise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 229-250, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sooyoung Cha, Sehun Jeong, Hakjoo Oh |
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 25-41, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Rosà, Lydia Y. Chen, Walter Binder |
AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 139-147, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Hou, Alwen Tiu |
Completeness for a First-Order Abstract Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 444-463, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henry DeYoung, Frank Pfenning |
Substructural Proofs as Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 3-22, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryoya Arai, Shigeyuki Sato 0001, Hideya Iwasaki |
A Debugger-Cooperative Higher-Order Contract System in Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 148-168, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Radanne, Jérôme Vouillon, Vincent Balat |
Eliom: A Core ML Language for Tierless Web Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 377-397, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan |
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 42-62, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze |
A Realizability Interpretation for Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 187-205, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
Probabilistic Programming Language and its Incremental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 357-376, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hüttel |
Binary Session Types for Psi-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 96-115, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Azalea Raad, José Fragoso Santos, Philippa Gardner |
DOM: Specification and Client Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 401-422, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Igarashi (eds.) |
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![, 978-3-319-47957-6 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin |
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 423-443, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner |
Verifying Concurrent Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 314-334, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta, Daisuke Kimura |
Separation Logic with Monadic Inductive Definitions and Implicit Existentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 69-89, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner |
Fault-Tolerant Resource Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 169-188, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
From Call-by-Value to Interaction by Typed Closure Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 251-270, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rekha R. Pai |
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 49-65, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Servetto, Elena Zucca |
Aliasing Control in an Imperative Pure Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 208-228, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer |
More Sound Static Handling of Java Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 485-503, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Nicolas Tabareau |
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 271-291, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuma Matsumoto, Naoki Kobayashi 0001, Hiroshi Unno 0001 |
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 295-312, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira |
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 11-28, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiangchao Liu, Xavier Rival |
Abstraction of Optional Numerical Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 146-166, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0069, Yi Lv, Gaoang Liu, Peng Wu 0002 |
Quasi-Linearizability is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 369-386, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yu Feng 0001, Xinyu Wang 0006, Isil Dillig, Thomas Dillig |
Bottom-Up Context-Sensitive Pointer Analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 465-484, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Matheja, Christina Jansen, Thomas Noll 0001 |
Tree-Like Grammars and Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 90-108, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adriaan Larmuseau, Marco Patrignani, Dave Clarke 0001 |
A Secure Compiler for ML Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 29-48, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder |
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 356-365, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey |
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 127-145, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hainry, Romain Péchoux |
Objects in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 387-404, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eran Yahav |
Programming with "Big Code". ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 3-8, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xinyu Feng 0001, Sungwoo Park (eds.) |
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![Springer, 978-3-319-26528-5 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Deepthi Devaki Akkoorath, Annette Bieniusa |
Transactions on Mergeable Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 427-444, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hiroaki Inoue, Atsushi Igarashi |
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 445-462, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi |
Shifting the Blame - A Blame Calculus with Delimited Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 189-207, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi 0001 |
Decision Algorithms for Checking Definability of Order-2 Finitary PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 313-331, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Xiao 0003, Shi Han, Charles Zhang 0001, Dongmei Zhang 0001 |
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 335-355, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Holger Bock Axelsen, Tetsuo Yokoyama |
Programming Techniques for Reversible Comparison Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 407-426, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Dudziak |
Randomized Resource-Aware Path-Sensitive Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 111-126, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
A Strong Distillery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 231-250, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi |
Automatic Memory Management Based on Program Transformation Using Ownership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 58-77, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Afshin Amighi, Stefan Blom, Marieke Huisman |
Resource Protection Using Atomics - Patterns and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 255-274, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohua Shi, Junru Xie, Hengyang Yu |
Address Chain: Profiling Java Objects without Overhead in Java Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 408-427, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir, Peter Schrammel |
Necessary and Sufficient Preconditions via Eager Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 236-254, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Tayssir Touili |
Model-Checking for Android Malware Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 216-235, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar |
Compositional Entailment Checking for a Fragment of Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 314-333, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Silvia Crafa |
Hereditary History-Preserving Bisimilarity: Logics and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 469-488, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Edmund Soon Lee Lam, Iliano Cervesato |
Optimized Compilation of Multiset Rewriting with Comprehensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 19-38, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Call-by-Value in a Basic Logic for Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 428-448, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|