Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stefano Berardi, Makoto Tatsuta |
Positive Arithmetic Without Exchange Is a Subclassical Logic. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
A Probabilistic Applied Pi-Calculus. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiko Kakutani |
Call-by-Name and Call-by-Value in Normal Modal Logic. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Igarashi, Masashi Iwaki |
Deriving Compilers and Virtual Machines for a Multi-level Language. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine |
Scalable Simulation of Cellular Signaling Networks. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv |
Local Reasoning for Storable Locks and Threads. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous |
Complete Lattices and Up-To Techniques. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia |
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dachuan Yu |
More Typed Assembly Languages for Confidentiality. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sungwoo Park |
A Modal Language for the Safety of Mobile Values. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg |
Event Driven Software Quality. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Garrigue |
Private Row Types: Abstracting the Unnamed. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson |
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberta Gori, Francesca Levi |
An Analysis for Proving Temporal Properties of Biological Systems. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey |
Principal Type Inference for GHC-Style Multi-parameter Type Classes. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Johan Gade, Robert Glück |
On Jones-Optimal Specializers: A Case Study Using Unmix. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Yamauchi, Jan Vitek |
Combining Offline and Online Optimizations: Register Allocation and Method Inlining. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nina Bohr, Lars Birkedal |
Relational Reasoning for Recursive Types and References. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide, Akihiko Tozawa |
XML Validation for Context-Free Grammars. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Flatt, Robert Bruce Findler, Matthias Felleisen |
Scheme with Classes, Mixins, and Traits. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Ricardo Corin, Cédric Fournet |
Computational Secrecy by Typing for the Pi Calculus. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh |
A Practical String Analyzer by the Widening Approach. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Keisuke Nakano 0001, Shin-Cheng Mu |
A Pushdown Machine for Recursive XML Processing. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lumpe |
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David A. Schmidt |
Comparing Completeness Properties of Static Analyses and Their Logics. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi |
Type and Effect System for Multi-staged Exceptions. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Beringer, Martin Hofmann 0001 |
A Bytecode Logic for JML and Types. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Chicha, Stephen M. Watt |
A Localized Tracing Scheme Applied to Garbage Collection. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pieter W. M. Koopman, Rinus Plasmeijer |
Automatic Testing of Higher Order Functions. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Andrew Kennedy, Martin Hofmann 0001, Lennart Beringer |
Reading, Writing and Relations. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
Type Processing by Constraint Reasoning. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | William L. Harrison |
Proof Abstraction for Imperative Languages. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
Program Specification and Verification, Monads, Language Semantics, Monad Transformers |
1 | Naoki Kobayashi 0001 (eds.) |
Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon, Andy King |
Widening Polyhedra with Landmarks. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa |
A Fine-Grained Join Point Model for More Reusable Aspects. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dino Distefano |
A Parametric Model for the Analysis of Mobile Ambients. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David Monniaux |
The Parallel Implementation of the Astrée Static Analyzer. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Francesco Logozzo |
Loop Invariants on Demand. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kwangkeun Yi (eds.) |
Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato, Francesco Tapparo |
An Abstract Interpretation Perspective on Linear vs. Branching Time. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton |
A Typed, Compositional Logic for a Stack-Based Abstract Machine. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Haruo Hosoya |
Type Systems for XML. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Kanade, Uday P. Khedker, Amitabha Sanyal |
Heterogeneous Fixed Points with Application to Points-To Analysis. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca |
Calculating Polynomial Runtime Properties. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Damien Sereni, Neil D. Jones |
Termination Analysis of Higher-Order Functional Programs. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | William L. Harrison |
A Simple Semantics for Polymorphic Recursion. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Magno Quintão Pereira, Jens Palsberg |
Register Allocation Via Coloring of Chordal Graphs. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum |
A Next-Generation Platform for Analyzing Executables. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam |
Using Datalog with Binary Decision Diagrams for Program Analysis. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ivana Mijajlovic, Hongseok Yang |
Data Refinement with Low-Level Pointer Operations. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Integrating Physical Systems in the Static Analysis of Embedded Control Software. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Igarashi, Chieri Saito, Mirko Viroli |
Lightweight Family Polymorphism. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Rival |
Abstract Dependences for Alarm Diagnosis. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu, Varmo Vene |
The Essence of Dataflow Programming. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Walter Binder |
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
Java, program transformations, Profiling, JVM, bytecode instrumentation, dynamic metrics |
1 | Isabella Mastroeni |
On the Rôle of Abstract Non-interference in Language-Based Security. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
Language-based Security, Non-Interference, Declassification |
1 | Roberta Gori, Francesca Levi |
A New Occurrence Counting Analysis for BioAmbients. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation |
1 | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
Symbolic Execution with Separation Logic. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | V. Benjamin Livshits, John Whaley, Monica S. Lam |
Reflection Analysis for Java. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han |
A Path Sensitive Type System for Resource Usage Verification of C Like Languages. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Silvano Dal-Zilio, Régis Gascon |
Resource Bound Certification for a Tail-Recursive Virtual Machine. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Chien-An Chen, Sara Kalvala, Jane E. Sinclair |
Race Conditions in Message Sequence Charts. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zining Cao |
A Uniform Reduction Equivalence for Process Calculi. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
D-Fusion: A Distinctive Fusion Calculus. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin (eds.) |
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Mantel, David Sands 0001 |
Controlled Declassification Based on Intransitive Noninterference. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Hamana |
Free S-Monoids: A Higher-Order Syntax with Metavariables. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pao-Ann Hsiung, Shang-Wei Lin 0001 |
Formal Design and Verification of Real-Time Embedded Software. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis |
1 | Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin |
A Relational Model for Object-Oriented Designs. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
UTP, Semantics, Object Orientation, Refinement |
1 | Kwanghoon Choi 0001, Atsushi Ohori |
A Type Theory for Krivine-Style Evaluation and Compilation. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christian Skalka, Scott F. Smith 0001 |
History Effects and Verification. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Frank Pfenning |
Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk). |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar |
A CLP Approach to Modelling Systems. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Kamina, Tetsuo Tamai |
McJava - A Design and Implementation of Java with Mixin-Types. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Keisuke Nakano 0001 |
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zoe C. H. Yu, Francis C. M. Lau 0001, Cho-Li Wang |
Exploiting Java Objects Behavior for Memory Management and Optimizations. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fradet, Stéphane Hong Tuan Ha |
Network Fusion. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Abe 0001 |
A Concurrent System of Multi-ported Processes with Causal Dependency. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Akihito Nagata, Naoki Kobayashi 0001, Akinori Yonezawa |
Region-Based Memory Management for a Dynamically-Typed Language. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Møller Neergaard |
A Functional Language for Logarithmic Space. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Tarmo Uustalu, Varmo Vene |
Build, Augment and Destroy, Universally. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Neubauer, Peter Thiemann 0001 |
Protocol Specialization. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kenny Zhuo Ming Lu, Martin Sulzmann |
An Implementation of Subtyping Among Regular Expression Types. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Lindahl, Konstantinos Sagonas |
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
Compile-time program checking, software development, software tools, defect detection, software quality assurance |
1 | Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura |
A MATLAB-Based Code Generator for Sparse Matrix Computations. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Kodama, Kohei Suenaga, Naoki Kobayashi 0001 |
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
An Algebraic Approach to Bi-directional Updating. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky |
The Scala Experiment - Can We Provide Better Language Support for Component Systems? |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden |
Automatic Generation of Editors for Higher-Order Data Structures. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu |
PType System: A Featherweight Parallelizability Detector. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eichberg, Mira Mezini, Klaus Ostermann |
Pointcuts as Functional Queries. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pawel T. Wojciechowski |
Concurrency Combinators for Declarative Synchronization. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Susumu Nishimura |
Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
Continutation Semantics for Parallel Haskell Dialects. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dae-Hwan Kim, Hyuk-Jae Lee |
Register Allocation Based on a Reference Flow Analysis. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Qin Ma 0002, Luc Maranget |
Expressive Synchronization Types for Inheritance in the Join Calculus. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hidehiko Masuhara, Kazunori Kawauchi |
Dataflow Pointcut in Aspect-Oriented Programming. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Joonseon Ahn, Yong Jin Kwon |
A Differential Fixpoint Evaluation Framework for Non-distributive Systems. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
fixpoint computation, worklist algorithm, differential evaluation, static analysis, abstract interpretation |
1 | Koji Okuma, Yasuhiko Minamide |
Executing Verified Compiler Specification. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|