Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Naoki Kobayashi 0001 |
Useless Code Elimination and Programm Slicing for the Pi-Calculus. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | D. V. Ravindra |
Using Locality of Flow in Dataflow Analyses. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jun Furuse |
Extensional Polymorphism by Flow Graph Dispatching. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Guangyuan Li, Zhisong Tang |
Translating a Continuous-Time Temporal Logic into Timed Automata. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoju Dong, Yuxi Fu |
Observing Asymmetry and Mismatch. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sunae Seo, Hongseok Yang, Kwangkeun Yi |
Automatic Construction of Hoare Proofs from Abstract Interpretation Results. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Ralf Lämmel |
Scrap Your Boilerplate. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa |
Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kim Marriott, Peter J. Stuckey, Martin Sulzmann |
Resource Usage Verification. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Wen-tsun Wu |
On a Method of Global Optimization. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida, Mircea Marin, Hidekazu Takahashi |
Constraint Functional Logic Programming for Origami Construction. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci |
Term Graph Rewriting for the pi-Calculus. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
process calculi, reduction semantics, Term graph rewriting |
1 | Atsushi Ohori (eds.) |
Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
Model Checking: From Hardware to Software. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hugh Anderson, Siau-Cheng Khoo |
Affine-Based Size-Change Termination. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Carlsson, Johan Nordlander, Dick Kieburtz |
The Semantic Layers of Timber. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Galland, Mathieu Baudet |
Controlling and Optimizing the Usage of One Resource. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dengping Zhu, Hongwei Xi |
A Typeful and Tagless Representation for XML Documents. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Shin-Cheng Mu, Richard S. Bird |
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück, Masahiko Kawabe |
A Program Inverter for a Functional Language with Equality and Constructors. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Simonet |
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Akihiko Takano, Shingo Nishioka, Osamu Imaichi, Yoshiki Niwa |
Association Computation for Information Access. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Koji Kagawa |
Shrinkable Polymorphic Variants. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Kwangkeun Yi, Hyunjun Eo |
Static Extensionality Checking for Lambda-Definable Functions Over Lattices. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Yuxi Fu |
On Quasi-Open Bisimulation. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Atsushi Ohori, Kiyoshi Yamatodani |
An Interoperable Calculus for External Object Access. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
Inserting Safe Memory Re-use Commands into ML-like Programs. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi |
Data Flow Analysis of Secure Information-Flow. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Jan-Li Lin |
Folds with Dependent Types. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Keita Shirane |
Type-Based Information Analysis for Low-Level Languages. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Hideya Iwasaki |
Pruning Unnecessary Computations using Improving Sequences. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Extending Sized Type with Collection Analysis. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Javier Esparza Peidro, Antonio Calero Monteagudo, Jordi Bataller, Francesc D. Muñoz-Escoí, Hendrik Decker, José M. Bernabéu-Aubán |
COPLA* - a Middleware for Distributed Databases. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Susumu Nishimura |
Deforesting in Accumulating Parameters via Type-Directed Transformations. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
Implementation of Parallel Tree Skeletons on Distributed Systems. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Bixin Li |
An Approach for Assessing Software Coupling. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu |
A Type-Based Approach to Parallelization (preliminary report). |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Kazunori Ueda |
Programming with Logical Links. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Robert Glück, Masahiko Kawabe |
An Automatic Program Inverter for Lisp: Potential and Limitations. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Martin Sulzmann |
An Overview of the Chameleon System. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Xinxin Liu, Yongjian Li |
Bisimulation for Higher-Order Pi-calculus. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | |
The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Jacques Garrigue |
Relaxing the Value Restriction. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Hyunjun Eo, Kwangkeun Yi |
An Improved Differential Fixpoint Iteration Method for Program Analysis. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Guoyong, Peimin Deng, Jiali Feng |
Specification based on Backus-Naur Formalism and Programming Language. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
Yicho - A System for Programming Program Calculations. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Takuma Murakami, Zhenjiang Hu, Masato Takeichi |
An Optimal Staging Algorithm. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura |
Recursion Removal from Recursive Programs with One Descent Function. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Tetsuo Ida |
Functional Logic Origami Programming. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi |
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Wei Li 0022 |
What Is the Right Logical Framework for Evolution of Knowledge. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Kazuhiko Kakehi 0001, Zhenjiang Hu, Masato Takeichi |
Fusion Transformation on Functional Programs of Regular Expression Types. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
1 | Kazunori Ueda |
Resource-Passing Concurrent Programming. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Yukiyoshi Kameyama |
Dynamic Control Operators in Type Theory. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Saswat Anand, Siau-Cheng Khoo |
Efficient Interpretation of Chart Pattern Language. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
A Compositional Framework for Querying Optimized Ranges. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Masahito Hasegawa |
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Jacques Garrigue |
Simple Type Inference for Structural Polymorphism. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Mitsuharu Yamamoto, Masami Hagiya |
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Andrzej S. Murawski, Kwangkeun Yi |
Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Tyng-Ruey Chuang, Jan-Li Lin |
On Modular Transformations of Structural Content. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Farn Wang |
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | |
The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn |
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Mikhail A. Bulyonkov, N. N. Filatkina |
Exploring Dataflow in Legacy Systems. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Kyung-Goo Doh, Seung Cheol Shin |
Analysis of Secure Information Flow by Model-Checking. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Jinyun Xue |
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Oukseh Lee |
An Effect System Combining Alias and Liveness for Explicit Memory Reuse. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Higher-Order Polymorphic Sized Types for Safety Checks. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Norio Kato, Kazunori Ueda |
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Atsushi Igarashi, Naoki Kobayashi 0001 |
Resource Usage Analysis. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Mizuhito Ogawa |
Abstract Interpretation over Infinite Abstract Domains (Tentative Report). |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Norio Kobayashi, Mircea Marin, Tetsuo Ida |
Collaborative Constraint Functional Logic Programming in an Open Environment. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Atsushi Ohori |
Proof-Directed Compilation for Inter-operable Languages. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Yasuhiko Minamide, Koji Okuma |
Verifying the CPS Transformation in Isabelle/HOL. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Shin-Cheng Mu, Richard S. Bird |
Functional Quantum Programming. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Joonseon Ahn |
A Differential Evaluation of Fixpoint Iterations. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Kwanghoon Choi 0001, Taisook Han |
A Type System for the Push-Enter Model. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
An Accumulative Parallel Skeleton for All. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Byeong-Mo Chang, Jang-Wu Jo |
Estimating Exception-Induced Control Flow for Java. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Eijiro Sumii, Hideo Bannai |
VM lambda: a Functional Calculus for Scientific Discovery. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Robert Glück |
Jones Optimality and the Strength of Program Specializers. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
1 | Jeff Polakow, Kwangkeun Yi |
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Nevin Heintze, Joxan Jaffar, Razvan Voicu |
Conditional Analysis and Verification. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Kazunori Ueda |
Linearity Analysis of Concurrent Logic Programs. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Le Xuan Thang |
Berlioz: Compiling Oz to Java Bytecode. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Yoshihiko Futamura, Zenjiro Konishi, Robert Glück |
Automatic Generation of Very Efficient Programs by Generalized Partial Computation. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Jungtaek Kim, Kwangkeun Yi |
Partial CPS Transformation Using Static Annotation. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Deriving Pre-Conditions for Array Bound Check Elimination. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Nikolay V. Shilov 0002, Kwangkeun Yi |
A Note on Model Checkers Reuse and Validation. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Atsushi Ohori |
Logical Analysis of Assembly Language. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Tyng-Ruey Chuang |
Generic Validation of Structural Content with Parametric Modules. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | C.-H. Luke Ong |
Light Logic and Resource Bounded Computation. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Hui Wu 0001, Joxan Jaffar |
An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | |
The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Tetsuo Ida, Mircea Marin |
An Open Environment for Cooperative Equational Solving. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Shin-Cheng Mu |
On Building Trees with Minimum Height, Relationally. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Mizuhito Ogawa |
A Note on Algebraic Structure of Tree Decomposition of Graphs. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
1 | Sergei M. Abramov, Robert Glück |
Principles of Inverse Computation in a Functional Language. |
APLAS |
2000 |
DBLP BibTeX RDF |
|