Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robert Dockins, Andrew Tolmach |
Suppl: A Flexible Language for Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 176-195, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aziem Chawdhary, Edward Robbins 0001, Andy King |
Simple and Efficient Algorithms for Octagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 296-313, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Kikuchi, Takafumi Sakurai |
A Translation of Intersection and Union Types for the λμ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 120-139, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith 0001 |
Types for Flexible Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 99-119, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller |
Logic Programming and Logarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 39-57, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Kop, Naoki Nishida 0001 |
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 334-353, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori |
The Essence of Ruby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 78-98, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Garrigue (eds.) |
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![Springer, 978-3-319-12735-4 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan |
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 196-215, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen |
NetKAT - A Formal System for the Verification of Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 1-18, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Flores-Montoya, Reiner Hähnle |
Resource Analysis of Complex Programs with Cost Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 275-295, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu |
Inferring Grammatical Summaries of String Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 372-391, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shin-Cheng Mu, Ting-Wei Chen |
Functional Pearl: Nearest Shelters in Manhattan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 159-175, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shigeyuki Sato 0001, Akimasa Morihata |
Syntax-Directed Divide-and-Conquer Data-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 392-407, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Andrea Vezzosi |
A Formalized Proof of Strong Normalization for Guarded Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 140-158, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Taku Terao, Naoki Kobayashi 0001 |
A ZDD-Based Efficient Higher-Order Model Checking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 354-371, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, Sandrine Blazy, Pierre Wilke |
A Precise and Abstract Memory Model for C Using Symbolic Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 449-468, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Patrignani, Dave Clarke 0001, Frank Piessens |
Secure Compilation of Object-Oriented Components to Protected Module Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 176-191, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Julian Kranz, Alexander Sepp, Axel Simon |
GDSL: A Universal Toolkit for Giving Semantics to Machine Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 209-216, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay |
Generalized Quantitative Analysis of Metric Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 192-208, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li |
Temporal Specification Mining for Anomaly Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 273-289, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kensuke Kojima, Atsushi Igarashi |
A Hoare Logic for SIMT Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 58-73, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Fujima, Sohei Ito, Naoki Kobayashi 0001 |
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 17-32, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Tayssir Touili |
Model Checking Dynamic Pushdown Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 33-49, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Blot, Colin Riba |
On Bar Recursion and Choice in a Classical Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 349-364, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Separation Logic Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 90-106, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton |
The Proof Assistant as an Integrated Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 307-314, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Sylvie Putot |
Robustness Analysis of Finite Precision Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 50-57, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Cifuentes, Nathan Keynes |
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 172-175, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin |
Bi-Abduction with Pure Properties for Specification Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 107-123, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Biernacki, Sergueï Lenglet |
Environmental Bisimulations for Delimited-Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 333-348, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanny Lucero, David A. Naumann, Augusto Sampaio |
Laws of Programming for References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 124-139, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva 0001 |
Brzozowski's and Up-To Algorithms for Must Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 1-16, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Herbert Wiklicky |
Semantics of Probabilistic Programs: A Weak Limit Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 241-256, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chung-chieh Shan (eds.) |
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![Springer, 978-3-319-03541-3 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Garrigue, Didier Rémy |
Ambivalent Types for Principal Type Inference with GADTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 257-272, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Haiyan Zhu, Thomas Dillig, Isil Dillig |
Automated Inference of Library Specifications for Source-Sink Property Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 290-306, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Holger Siegel, Bogdan Mihaila, Axel Simon |
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 74-89, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Puech |
Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 365-380, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr. |
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 156-171, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Broberg, Bart van Delft, David Sands 0001 |
Paragon for Practical Programming with Information-Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 217-232, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hyunik Na, Sukyoung Ryu |
ThisJava: An Extension of Java with Exact Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 233-240, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Janina Voigt, Alan Mycroft |
Dynamic Alias Protection with Aliasing Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 140-155, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Ralf Hinze |
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 315-332, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, John Potter, Jingling Xue |
Ownership Types for Object Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 18-33, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma 0001, Zhengwei Qi |
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 256-263, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 115-130, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aseem Rastogi, Avik Chaudhuri, Rob Johnson |
Types and Access Controls for Cross-Domain Security in Flash. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 82-97, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Bach Le, Cristian Gherghina, Aquinas Hobor |
Decision Procedures over Sophisticated Fractional Permissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 368-385, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy |
Mechanized Semantics for Compiler Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 386-388, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Vitek |
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 1, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Greg Morrisett |
Scalable Formal Machine Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 312-314, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Beringer |
End-to-end Multilevel Hybrid Information Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 50-65, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov |
Vinter: A Vampire-Based Tool for Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 148-156, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aloïs Brunel, Antoine Madet |
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 264-279, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kalmer Apinis, Helmut Seidl, Vesal Vojdani |
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 157-172, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry |
Lazy v. Yield: Incremental, Linear Pretty-Printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 190-206, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Costanzo, Zhong Shao |
A Case for Behavior-Preserving Actions in Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 332-349, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Costantini, Pietro Ferrara 0001, Agostino Cortesi |
Linear Approximation of Continuous Systems with Trapezoid Step Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 98-114, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Siliang Li, Yu David Liu, Gang Tan |
JATO: Native Code Atomicity for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 2-17, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gabrielle Anderson, Julian Rathke |
Dynamic Software Update for Message Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 207-222, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas H. Austin, Cormac Flanagan, Martín Abadi |
A Functional View of Imperative Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 34-49, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich |
Inference of Necessary Field Conditions with Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 173-189, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Sotin, Xavier Rival |
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 131-147, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Succour to the Confused Deputy - Types for Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 66-81, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala, Atsushi Igarashi (eds.) |
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![Springer, 978-3-642-35181-5 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marek Materzok, Dariusz Biernacki |
A Dynamic Interpretation of the CPS Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 296-311, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yu Guo, Xinyu Feng 0001, Zhong Shao, Peizhi Shi |
Modular Verification of Concurrent Thread Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 315-331, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Avanzini, Naohi Eguchi, Georg Moser |
A New Order-Theoretic Characterisation of the Polytime Computable Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 280-295, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta |
Concurrent Test Generation Using Concolic Multi-trace Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 239-255, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen |
A Generic Cyclic Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 350-367, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti |
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 223-238, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello |
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 137-154, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko |
Solving Recursion-Free Horn Clauses over LI+UIF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 188-203, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hongseok Yang (eds.) |
Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![Springer, 978-3-642-25317-1 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Malkis, Laurent Mauborgne |
On the Strength of Owicki-Gries for Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 172-187, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Fronc, Franck Pommereau |
Towards a Certified Petri Net Model-Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 322-336, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Keiko Nakata 0001, Tarmo Uustalu, Marc Bezem |
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 353-368, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig |
Soundness of Data Flow Analyses for Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 272-288, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
Engineering Theories with Z3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 4-16, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla |
Cost Analysis of Concurrent OO Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 238-254, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Computation-by-Interaction with Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 305-321, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhen Cao, Yuan Dong, Shengyuan Wang |
Compiler Backend Generation for Application Specific Instruction Set Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 121-136, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yun-Yan Chi, Shin-Cheng Mu |
Constructing List Homomorphisms from Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 74-88, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez, Rafael Caballero 0001, Yolanda García-Ruiz |
A Deductive Database with Datalog and SQL Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 66-73, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala |
Software Verification with Liquid Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 3, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler |
A Semantics for Context-Sensitive Reduction Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 369-383, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Monniaux, Martin Bodin |
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 19-33, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld |
Decentralized Delimited Release. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 220-237, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew |
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 155-171, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Baillot |
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 337-352, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Thomas Martin Gawlitza |
Template-Based Unbounded Time Verification of Affine Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 34-49, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ana L. Milanova, Wei Huang 0001 |
Static Object Race Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 255-271, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hakjoo Oh, Kwangkeun Yi |
Access-Based Localization with Bypassing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 50-65, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter W. O'Hearn |
Algebra, Logic, Locality, Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 17-18, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yuichiro Kokaji, Yukiyoshi Kameyama |
Polymorphic Multi-stage Language with Control Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 105-120, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow |
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 89-104, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Towards a General Theory of Barbs, Contexts and Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 289-304, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aditya V. Nori, Sriram K. Rajamani |
Program Analysis and Machine Learning: A Win-Win Deal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 1-2, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Akimasa Morihata |
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 204-219, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|