default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2001: Daejeon, Korea
- 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. 2001
- Yukiyoshi Kameyama:
Dynamic Control Operators in Type Theory. APLAS 2001: 1-11 - Kwanghoon Choi, Taisook Han:
A Type System for the Push-Enter Model. APLAS 2001: 13-27 - Yasuhiko Minamide, Koji Okuma:
Verifying the CPS Transformation in Isabelle/HOL. APLAS 2001: 29-37 - Saswat Anand, Siau-Cheng Khoo:
Efficient Interpretation of Chart Pattern Language. APLAS 2001: 39-48 - Norio Kobayashi, Mircea Marin, Tetsuo Ida:
Collaborative Constraint Functional Logic Programming in an Open Environment. APLAS 2001: 49-59 - Mikhail A. Bulyonkov, N. N. Filatkina:
Exploring Dataflow in Legacy Systems. APLAS 2001: 61-73 - Shin-Cheng Mu, Richard S. Bird:
Functional Quantum Programming. APLAS 2001: 75-88 - Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101 - Robert Glück:
Jones Optimality and the Strength of Program Specializers. APLAS 2001: 103-116 - Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Higher-Order Polymorphic Sized Types for Safety Checks. APLAS 2001: 117-131 - Oukseh Lee:
An Effect System Combining Alias and Liveness for Explicit Memory Reuse. APLAS 2001: 133-145 - Atsushi Igarashi, Naoki Kobayashi:
Resource Usage Analysis. APLAS 2001: 147-158 - Jinyun Xue:
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. APLAS 2001: 159-169 - Joonseon Ahn:
A Differential Evaluation of Fixpoint Iterations. APLAS 2001: 171-182 - Mizuhito Ogawa:
Abstract Interpretation over Infinite Abstract Domains (Tentative Report). APLAS 2001: 183-191 - Mitsuharu Yamamoto, Masami Hagiya:
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. APLAS 2001: 193-205 - Farn Wang:
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. APLAS 2001: 207-224 - Kyung-Goo Doh, Seung Cheol Shin:
Analysis of Secure Information Flow by Model-Checking. APLAS 2001: 225-236 - Norio Kato, Kazunori Ueda:
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. APLAS 2001: 237-250 - Tyng-Ruey Chuang, Jan-Li Lin:
On Modular Transformations of Structural Content. APLAS 2001: 251-263 - Eijiro Sumii, Hideo Bannai:
VM lambda: a Functional Calculus for Scientific Discovery. APLAS 2001: 265-275 - Masahito Hasegawa:
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. APLAS 2001: 277-288 - Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn:
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. APLAS 2001: 289-300 - Atsushi Ohori:
Proof-Directed Compilation for Inter-operable Languages. APLAS 2001: 301-311 - Kazunori Ueda:
Resource-Passing Concurrent Programming. APLAS 2001: 313-327 - Jacques Garrigue:
Simple Type Inference for Structural Polymorphism. APLAS 2001: 329-343 - Andrzej S. Murawski, Kwangkeun Yi:
Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. APLAS 2001: 345-362 - Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376 - Byeong-Mo Chang, Jang-Wu Jo:
Estimating Exception-Induced Control Flow for Java. APLAS 2001: 377-387
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
