Search dblp for Publications

export results for "toc:db/conf/aplas/aplas2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aplas/Ahn01,
  author       = {Joonseon Ahn},
  title        = {A Differential Evaluation of Fixpoint Iterations},
  booktitle    = {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},
  pages        = {171--182},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 13:15:57 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ahn01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/AnandK01,
  author       = {Saswat Anand and
                  Siau{-}Cheng Khoo},
  title        = {Efficient Interpretation of Chart Pattern Language},
  booktitle    = {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},
  pages        = {39--48},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/AnandK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/BulyonkovF01,
  author       = {Mikhail A. Bulyonkov and
                  N. N. Filatkina},
  title        = {Exploring Dataflow in Legacy Systems},
  booktitle    = {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},
  pages        = {61--73},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BulyonkovF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/CalcagnoYO01,
  author       = {Cristiano Calcagno and
                  Hongseok Yang and
                  Peter W. O'Hearn},
  title        = {Computability and Complexity Results for a Spatial Assertion Language
                  for Data Structures},
  booktitle    = {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},
  pages        = {289--300},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/CalcagnoYO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChangJ01,
  author       = {Byeong{-}Mo Chang and
                  Jang{-}Wu Jo},
  title        = {Estimating Exception-Induced Control Flow for Java},
  booktitle    = {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},
  pages        = {377--387},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ChangJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChinKX01,
  author       = {Wei{-}Ngan Chin and
                  Siau{-}Cheng Khoo and
                  Dana N. Xu},
  title        = {Higher-Order Polymorphic Sized Types for Safety Checks},
  booktitle    = {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},
  pages        = {117--131},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ChinKX01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChoiH01,
  author       = {Kwanghoon Choi and
                  Taisook Han},
  title        = {A Type System for the Push-Enter Model},
  booktitle    = {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},
  pages        = {13--27},
  year         = {2001},
  timestamp    = {Sat, 27 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ChoiH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChuangL01,
  author       = {Tyng{-}Ruey Chuang and
                  Jan{-}Li Lin},
  title        = {On Modular Transformations of Structural Content},
  booktitle    = {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},
  pages        = {251--263},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ChuangL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/DohS01,
  author       = {Kyung{-}Goo Doh and
                  Seung Cheol Shin},
  title        = {Analysis of Secure Information Flow by Model-Checking},
  booktitle    = {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},
  pages        = {225--236},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/DohS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Garrigue01,
  author       = {Jacques Garrigue},
  title        = {Simple Type Inference for Structural Polymorphism},
  booktitle    = {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},
  pages        = {329--343},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Garrigue01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Gluck01,
  author       = {Robert Gl{\"{u}}ck},
  title        = {Jones Optimality and the Strength of Program Specializers},
  booktitle    = {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},
  pages        = {103--116},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Gluck01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Hasegawa01,
  author       = {Masahito Hasegawa},
  title        = {Linearly Used Effects: Monadic and {CPS} Transformations into the
                  Linear Lambda Calculus},
  booktitle    = {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},
  pages        = {277--288},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Hasegawa01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HuIT01,
  author       = {Zhenjiang Hu and
                  Hideya Iwasaki and
                  Masato Takeichi},
  title        = {An Accumulative Parallel Skeleton for All},
  booktitle    = {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},
  pages        = {89--101},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HuIT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/IgarashiK01,
  author       = {Atsushi Igarashi and
                  Naoki Kobayashi},
  title        = {Resource Usage Analysis},
  booktitle    = {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},
  pages        = {147--158},
  year         = {2001},
  timestamp    = {Fri, 19 Jul 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/IgarashiK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Kameyama01,
  author       = {Yukiyoshi Kameyama},
  title        = {Dynamic Control Operators in Type Theory},
  booktitle    = {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},
  pages        = {1--11},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Kameyama01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KatoU01,
  author       = {Norio Kato and
                  Kazunori Ueda},
  title        = {Optimizing Compilation of Concurrent Logic Programs Directed by Interface
                  Analysis},
  booktitle    = {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},
  pages        = {237--250},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KatoU01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KobayashiMI01,
  author       = {Norio Kobayashi and
                  Mircea Marin and
                  Tetsuo Ida},
  title        = {Collaborative Constraint Functional Logic Programming in an Open Environment},
  booktitle    = {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},
  pages        = {49--59},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KobayashiMI01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Lee01,
  author       = {Oukseh Lee},
  title        = {An Effect System Combining Alias and Liveness for Explicit Memory
                  Reuse},
  booktitle    = {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},
  pages        = {133--145},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Lee01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MinamideO01,
  author       = {Yasuhiko Minamide and
                  Koji Okuma},
  title        = {Verifying the {CPS} Transformation in Isabelle/HOL},
  booktitle    = {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},
  pages        = {29--37},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/MinamideO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MuB01,
  author       = {Shin{-}Cheng Mu and
                  Richard S. Bird},
  title        = {Functional Quantum Programming},
  booktitle    = {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},
  pages        = {75--88},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/MuB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MurawskiY01,
  author       = {Andrzej S. Murawski and
                  Kwangkeun Yi},
  title        = {Static Monotonicity Analysis for lambda-Definable Functions. over
                  Lattices},
  booktitle    = {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},
  pages        = {345--362},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/MurawskiY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Ogawa01,
  author       = {Mizuhito Ogawa},
  title        = {Abstract Interpretation over Infinite Abstract Domains (Tentative
                  Report)},
  booktitle    = {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},
  pages        = {183--191},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ogawa01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Ohori01,
  author       = {Atsushi Ohori},
  title        = {Proof-Directed Compilation for Inter-operable Languages},
  booktitle    = {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},
  pages        = {301--311},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ohori01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SumiiB01,
  author       = {Eijiro Sumii and
                  Hideo Bannai},
  title        = {{VM} lambda: a Functional Calculus for Scientific Discovery},
  booktitle    = {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},
  pages        = {265--275},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/SumiiB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Ueda01,
  author       = {Kazunori Ueda},
  title        = {Resource-Passing Concurrent Programming},
  booktitle    = {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},
  pages        = {313--327},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ueda01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Wang01,
  author       = {Farn Wang},
  title        = {Efficient Model-Checking of Timed Automata with Clock-Restriction
                  Diagram},
  booktitle    = {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},
  pages        = {207--224},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Wang01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Xue01,
  author       = {Jinyun Xue},
  title        = {Developing the Generic Path Algorithmic Program and its Instantiations
                  Using {PAR} Method},
  booktitle    = {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},
  pages        = {159--169},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Xue01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/YamamotoH01,
  author       = {Mitsuharu Yamamoto and
                  Masami Hagiya},
  title        = {Abstract A* Algorithm and Its Application to Linearly Priced Timed
                  Automata},
  booktitle    = {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},
  pages        = {193--205},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/YamamotoH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ZhaoHT01,
  author       = {Haiyan Zhao and
                  Zhenjiang Hu and
                  Masato Takeichi},
  title        = {A Compositional Framework for Querying Optimized Ranges},
  booktitle    = {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},
  pages        = {363--376},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ZhaoHT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aplas/2001,
  title        = {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},
  year         = {2001},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.