The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "APLAS"( http://dblp.L3S.de/Venues/APLAS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/aplas

Publication years (Num. hits)
2000 (23) 2001 (30) 2002 (32) 2003 (28) 2004 (30) 2005 (28) 2006 (26) 2007 (29) 2008 (24) 2009 (25) 2010 (31) 2011 (28) 2012 (28) 2013 (27) 2014 (26) 2015 (27) 2016 (24) 2017 (27) 2018 (23)
Publication types (Num. hits)
inproceedings(497) proceedings(19)
Venues (Conferences, Journals, ...)
APLAS(516)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 44 keywords

Results
Found 516 publication records. Showing 516 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shingo Eguchi, Naoki Kobayashi 0001, Takeshi Tsukada Automated Synthesis of Functional Programs with Auxiliary Functions. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Urara Yamada, Kenichi Asai Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Li Sui, Jens Dietrich 0001, Michael Emery, Shawn Rasheed, Amjed Tahir On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun Automated Modular Verification for Relaxed Communication Protocols. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thibault Suzanne, Antoine Miné Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xuan Bach Le, Aquinas Hobor, Anthony W. Lin Complexity Analysis of Tree Share Structure. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabian Kunze, Gert Smolka, Yannick Forster 0002 Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1James Brotherston, Max I. Kanovich On the Complexity of Pointer Arithmetic in Separation Logic. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp Particle-Style Geometry of Interaction as a Module System. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Hillerström, Sam Lindley Shallow Effect Handlers. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mingzhang Huang, Hongfei Fu 0001, Krishnendu Chatterjee New Approaches for Almost-Sure Termination of Probabilistic Programs. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Timothy Jones 0002, Michael Homer The Practice of a Compositional Functional Programming Language. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Youssef El Bakouny, Dani Mezher Scallina: Translating Verified Programs from Coq to Scala. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Taro Sekiyama, Kohei Suenaga Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Depeng Liu, Bow-Yaw Wang, Lijun Zhang Model Checking Differentially Private Properties. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sukyoung Ryu (eds.) Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Quang Loc Le, Mengda He A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Junpeng Zha, Xinyu Feng, Lei Qiao Modular Verification of SPARCv8 Code. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Barenbaum, Gonzalo Ciruelos Factoring Derivation Spaces via Intersection Types. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Giulio Guerrieri Types of Fireballs. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Satoshi Egi, Yuichi Nishiwaki Non-linear Pattern Matching with Backtracking for Non-free Data Types. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Champion, Naoki Kobayashi 0001, Ryosuke Sato HoIce: An ICE-Based Non-linear Horn Clause Solver. Search on Bibsonomy APLAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Sulzmann, Peter Thiemann A Computational Interpretation of Context-Free Expressions. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alejandro Díaz-Caro A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Serdar Erbatur, Martin Hofmann 0001, Eugen Zalinescu Enforcing Programming Guidelines with Region Types and Effects. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ian J. Hayes, Xi Wu 0005, Larissa A. Meinicke Capabilities for Java: Secure Access to Resources. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Bruno Barras The Negligible and Yet Subtle Cost of Pattern Matching. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tarmo Uustalu, Niccolò Veltri Partiality and Container Monads. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yoonseok Ko, Xavier Rival, Sukyoung Ryu Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daisuke Kimura, Makoto Tatsuta Decision Procedure for Entailment of Symbolic Heaps with Arrays. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov, Tatsuya Katsushima Sound and Efficient Language-Integrated Query - Maintaining the ORDER. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adrien Pommellet, Tayssir Touili Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Qinxiang Cao, Santiago Cuellar, Andrew W. Appel Bringing Order to the Separation Logic Jungle. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bor-Yuh Evan Chang (eds.) Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daan Leijen Implementing Algebraic Effects in C - "Monads for Free in C". Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Prateek Jain Programming by Examples: PL Meets ML. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi A Nonstandard Functional Programming Language. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bob Reynders, Dominique Devriese Efficient Functional Reactive Programming Through Incremental Behaviors. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan Programming and Proving with Classical Types. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aziem Chawdhary, Andy King Compact Difference Bound Matrices. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo Sharper and Simpler Nonlinear Interpolants for Program Verification. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao Safety and Liveness of MCS Lock - Layer by Layer. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Neline van Ginkel, Raoul Strackx, Frank Piessens Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tobias Nipkow Verified Root-Balanced Trees. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan Synthesizing SystemC Code from Delay Hybrid CSP. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shaobo He, Zvonimir Rakamaric Counterexample-Guided Bit-Precision Selection. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manjeet Dahiya, Sorav Bansal Black-Box Equivalence Checking Across Compiler Optimizations. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ximeng Li 0001, Heiko Mantel, Markus Tasch Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira Unified Syntax with Iso-types. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Giulio Guerrieri Open Call-by-Value. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alwen Tiu, Nam Nguyen, Ross Horne SPEC: An Equivalence Checker for Security Protocols. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kai Stadtmüller, Martin Sulzmann, Peter Thiemann Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Taichi Yachi, Eijiro Sumii A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Taku Terao, Takeshi Tsukada, Naoki Kobayashi 0001 Higher-Order Model Checking in Direct Style. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tatsuya Abe 0001, Toshiyuki Maeda Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi 0001 Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto Implementing Cantor's Paradise. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sooyoung Cha, Sehun Jeong, Hakjoo Oh Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrea Rosà, Lydia Y. Chen, Walter Binder AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhe Hou, Alwen Tiu Completeness for a First-Order Abstract Separation Logic. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Henry DeYoung, Frank Pfenning Substructural Proofs as Automata. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki A Debugger-Cooperative Higher-Order Contract System in Python. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gabriel Radanne, Jérôme Vouillon, Vincent Balat Eliom: A Core ML Language for Tierless Web Programming. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze A Realizability Interpretation for Intersection and Union Types. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov Probabilistic Programming Language and its Incremental Evaluation. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hans Hüttel Binary Session Types for Psi-Calculi. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Azalea Raad, José Fragoso Santos, Philippa Gardner DOM: Specification and Client Reasoning. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi (eds.) Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner Verifying Concurrent Graph Algorithms. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Makoto Tatsuta, Daisuke Kimura Separation Logic with Monadic Inductive Definitions and Implicit Existentials. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner Fault-Tolerant Resource Reasoning. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp From Call-by-Value to Interaction by Typed Closure Conversion. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rekha R. Pai Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Servetto, Elena Zucca Aliasing Control in an Imperative Pure Calculus. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer More Sound Static Handling of Java Reflection. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guilhem Jaber, Nicolas Tabareau Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuma Matsumoto, Naoki Kobayashi 0001, Hiroshi Unno 0001 Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomá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 APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jiangchao Liu, Xavier Rival Abstraction of Optional Numerical Values. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chao Wang, Yi Lv, Gaoang Liu, Peng Wu 0002 Quasi-Linearizability is Undecidable. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig Bottom-Up Context-Sensitive Pointer Analysis for Java. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Matheja, Christina Jansen, Thomas Noll Tree-Like Grammars and Separation Logic. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adriaan Larmuseau, Marco Patrignani, Dave Clarke 0001 A Secure Compiler for ML Modules. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emmanuel Hainry, Romain Péchoux Objects in Polynomial Time. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Eran Yahav Programming with "Big Code". Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xinyu Feng, Sungwoo Park (eds.) Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Deepthi Devaki Akkoorath, Annette Bieniusa Transactions on Mergeable Objects. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hiroaki Inoue, Atsushi Igarashi A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi Shifting the Blame - A Blame Calculus with Delimited Control. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi 0001 Decision Algorithms for Checking Definability of Order-2 Finitary PCF. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xiao Xiao 0003, Shi Han, Charles Zhang, Dongmei Zhang Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Holger Bock Axelsen, Tetsuo Yokoyama Programming Techniques for Reversible Comparison Sorts. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomasz Dudziak Randomized Resource-Aware Path-Sensitive Static Analysis. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 516 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license