Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aziem Chawdhary, Hongseok Yang |
Metric Spaces and Termination Analyses. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Unno 0001, Naoshi Tabuchi, Naoki Kobayashi 0001 |
Verification of Tree-Processing Programs via Higher-Order Model Checking. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Demange, Thomas P. Jensen, David Pichardie |
A Provably Correct Stackless Intermediate Representation for Java Bytecode. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl |
Interprocedural Control Flow Reconstruction. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gerwin Klein |
From a Verified Kernel towards Verified Systems. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Ulrich Schöpp |
Type Inference for Sublinear Space Functional Programming. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts |
Typechecking Higher-Order Security Libraries. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Konrad Anton, Peter Thiemann 0001 |
Towards Deriving Type Systems and Implementations for Coroutines. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0002, Jan Smans, Frank Piessens |
A Quick Tour of the VeriFast Program Verifier. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mingsheng Ying |
Foundations of Quantum Programming (Extended Abstract). |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aquinas Hobor, Robert Dockins, Andrew W. Appel |
A Logical Mix of Approximation and Separation. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jianzhou Zhao, Qi Zhang, Steve Zdancewic |
Relational Parametricity for a Polymorphic Linear Lambda Calculus. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon, Liqian Chen |
Simple and Precise Widenings for H-Polyhedra. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Concurrency Can't Be Observed, Asynchronously. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Garrigue |
A Certified Implementation of ML with Structural Polymorphism. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá |
Liberal Typing for Functional Logic Programs. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene |
An Interactive Tool for Analyzing Embedded SQL Queries. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ya Katsumata |
Categorical Descriptional Composition. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Reasoning about Computations Using Two-Levels of Logic. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chaodong He |
Model Independent Order Relations for Processes. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jiang Liu 0009, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou |
A Calculus for Hybrid CSP. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data Structure Fusion. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano 0001, Yasunori Ishihara |
Context-Preserving XQuery Fusion. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu |
Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hoffmann 0002, Martin Hofmann 0001 |
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
Liveness of Communicating Transactions (Extended Abstract). |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gang Tan |
JNI Light: An Operational Model for the Core JNI. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kero, Pawel Pietrzak, Johan Nordlander |
Live Heap Space Bounds for Real-Time Systems. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Liangliang Tong, Francis C. M. Lau 0001 |
Index-Compact Garbage Collection. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Ueda (eds.) |
Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi |
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jules Villard, Étienne Lozes, Cristiano Calcagno |
Proving Copyless Message Passing. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Shigeyuki Sato 0001, Hideya Iwasaki |
A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis |
Bi-abductive Resource Invariant Synthesis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Laviron, Francesco Logozzo |
Refining Abstract Interpretation-Based Static Analyses with Hints. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nobuyuki Sato, Eijiro Sumii |
The Higher-Order, Call-by-Value Applied Pi-Calculus. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gang Tan, Zhong Shao, Xinyu Feng 0001, Hongxu Cai |
Weak updates and separation logic. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Akimasa Morihata |
A Short Cut to Optimal Sequences. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ben Lippmeier |
Witnessing Purity, Constancy and Mutability. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang |
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert Dockins, Aquinas Hobor, Andrew W. Appel |
A Fresh Look at Separation Algebras and Share Accounting. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv |
Abstract Transformers for Thread Correlation Analysis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Suenaga, Naoki Kobayashi 0001 |
Fractional Ownerships for Safe Memory Deallocation. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hongfei Fu 0001 |
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hakjoo Oh |
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen |
The Twilight Zone: From Testing to Formal Specifications and Back Again. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker |
Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wehr, Peter Thiemann 0001 |
On the Decidability of Subtyping with Bounded Existential Types. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
Types and Recursion Schemes for Higher-Order Program Verification. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zhenjiang Hu (eds.) |
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio |
On Stratified Regions. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
Types and effects, Reducibility candidates, Termination |
1 | Yi Lu 0003, John Potter, Jingling Xue |
Ownership Downgrading for Ownership Types. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Armando Solar-Lezama |
The Sketching Approach to Program Synthesis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michele Pagani, Paolo Tranquilli |
Parallel Reduction in Resource Lambda-Calculus. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Kimura, Yoshihiko Kakutani |
Classical Natural Deduction for S4 Modal Logic. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla |
Asymptotic Resource Usage Bounds. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wehr, Manuel M. T. Chakravarty |
ML Modules and Haskell Type Classes: A Constructive Comparison. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Liqian Chen, Antoine Miné, Patrick Cousot |
A Sound Floating-Point Polyhedra Abstract Domain. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001, Stefan Wehr |
Interface Types for Haskell. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov |
JavaScript Instrumentation in Practice. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xin Chen 0002, Yuxin Deng |
Game Characterizations of Process Equivalences. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Mehdi Dogguy |
On Affine Usages in Signal-Based Communication. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma |
Static Detection of Place Locality and Elimination of Runtime Checks. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Blume, Umut A. Acar, Wonseok Chae |
Exception Handlers as Extensible Cases. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Stefan, Florin Craciun, Wei-Ngan Chin |
A Flow-Sensitive Region Inference for CLI. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones |
Harnessing the Multicores: Nested Data Parallelism in Haskell. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Haack, Marieke Huisman, Clément Hurlin |
Reasoning about Java's Reentrant Locks. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
The Essence of Form Abstraction. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dino Distefano |
Abductive Inference for Reasoning about Heaps. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | G. Ramalingam (eds.) |
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Suenaga |
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radha Jagadeesan |
From Authorization Logics to Types for Authorization. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Asada |
Extensional Universal Types for Call-by-Value. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Maffeis, John C. Mitchell, Ankur Taly |
An Operational Semantics for JavaScript. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, César Kunz, Jorge Luis Sacchini |
Certified Reasoning in Memory Hierarchies. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dave Clarke 0001, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen |
Minimal Ownership for Active Objects. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith 0001 |
Sound and Complete Type Inference for a Systems Programming Language. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
The Complexity of Coverage. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xin Li 0010, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid |
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Albert Cohen 0001, Louis Mandel, Florence Plateau, Marc Pouzet |
Abstraction of Clocks in Synchronous Data-Flow Systems. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
Real-time systems, Compilation, Semantics, Type-systems, Synchronous languages, Kahn Process Networks |
1 | Bernd Braßel, Frank Huch |
On a Tighter Integration of Functional and Logic Programming. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
A Systematic Approach to Probabilistic Pointer Analysis. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luc Bläser |
Persistent Oberon: A Programming Language with Integrated Persistence. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alwen Tiu |
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Kimura |
Call-by-Value Is Dual to Call-by-Name, Extended. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Burak Emir, Qin Ma 0002, Martin Odersky |
Translation Correctness for First-Order Object-Oriented Pattern Matching. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Neil D. Jones, René Rydhof Hansen |
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jiu-Tao Nie, Xu Cheng 0001 |
An Efficient SSA-Based Algorithm for Complete Global Value Numbering. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner |
Adjunct Elimination in Context Logic for Trees. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Shao (eds.) |
Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
Finally Tagless, Partially Evaluated. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Kikuchi, Naoki Kobayashi 0001 |
Type-Based Verification of Correspondence Assertions for Communication Protocols. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh Shroff, Christian Skalka, Scott F. Smith 0001 |
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
0CFA, program analysis, program verification, higher-order |
1 | Olaf Chitil, Frank Huch |
Monadic, Prompt Lazy Assertions in Haskell. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vijay A. Saraswat |
X10: Concurrent Programming for Modern Architectures. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sriram K. Rajamani |
Static and Dynamic Analysis: Better Together. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001 |
Mixed Inductive/Coinductive Types and Strong Normalization. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Yukiyoshi Kameyama |
Polymorphic Delimited Continuations. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator |
1 | Martin Berger 0001, Nobuko Yoshida |
Timed, Distributed, Probabilistic, Typed Processes. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|