Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/aplas/AbramovG00,
  author       = {Sergei M. Abramov and
                  Robert Gl{\"{u}}ck},
  title        = {Principles of Inverse Computation in a Functional Language},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {141--152},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 14:41:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/AbramovG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/AjiroU00,
  author       = {Yasuhiro Ajiro and
                  Kazunori Ueda},
  title        = {Kima - An Automated Error Correction System for Concurrent Logic Programs},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {99--118},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/AjiroU00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChinKX00,
  author       = {Wei{-}Ngan Chin and
                  Siau{-}Cheng Khoo and
                  Dana N. Xu},
  title        = {Deriving Pre-Conditions for Array Bound Check Elimination},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {9--21},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ChinKX00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Chuang00,
  author       = {Tyng{-}Ruey Chuang},
  title        = {Generic Validation of Structural Content with Parametric Modules},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {129--140},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Chuang00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/FutamuraKG00,
  author       = {Yoshihiko Futamura and
                  Zenjiro Konishi and
                  Robert Gl{\"{u}}ck},
  title        = {Automatic Generation of Very Efficient Programs by Generalized Partial
                  Computation},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {183--191},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/FutamuraKG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HeintzeJV00,
  author       = {Nevin Heintze and
                  Joxan Jaffar and
                  Razvan Voicu},
  title        = {Conditional Analysis and Verification},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {33--49},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HeintzeJV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/IdaM00,
  author       = {Tetsuo Ida and
                  Mircea Marin},
  title        = {An Open Environment for Cooperative Equational Solving},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {163--166},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/IdaM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KimY00,
  author       = {Jungtaek Kim and
                  Kwangkeun Yi},
  title        = {Partial {CPS} Transformation Using Static Annotation},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {193--202},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KimY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/LeeY00,
  author       = {Oukseh Lee and
                  Kwangkeun Yi},
  title        = {A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {79--88},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/LeeY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Minamide00,
  author       = {Yasuhiko Minamide},
  title        = {A New Criterion for Safe Program Transformations},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {203--209},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Minamide00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Mu00,
  author       = {Shin{-}Cheng Mu},
  title        = {On Building Trees with Minimum Height, Relationally},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {153--162},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Mu00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Ogawa00,
  author       = {Mizuhito Ogawa},
  title        = {A Note on Algebraic Structure of Tree Decomposition of Graphs},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {223--229},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ogawa00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Ohori00,
  author       = {Atsushi Ohori},
  title        = {Logical Analysis of Assembly Language},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {179},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ohori00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Ong00,
  author       = {C.{-}H. Luke Ong},
  title        = {Light Logic and Resource Bounded Computation},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {181},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ong00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/PolakowY00,
  author       = {Jeff Polakow and
                  Kwangkeun Yi},
  title        = {Proving Syntactic Properties of Exceptions in an Ordered Logical Framework},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {23--32},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/PolakowY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/RamirezS00,
  author       = {Rafael Ram{\'{\i}}rez and
                  Andrew E. Santosa},
  title        = {A Declarative Approach to Concurrency in Java},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {89--98},
  year         = {2000},
  timestamp    = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/RamirezS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ShilovY00,
  author       = {Nikolay V. Shilov and
                  Kwangkeun Yi},
  title        = {A Note on Model Checkers Reuse and Validation},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {69--77},
  year         = {2000},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ShilovY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/TakahashiH00,
  author       = {Koichi Takahashi and
                  Masami Hagiya},
  title        = {Abstraction of Link Structures by Regular Expressions and Abstract
                  Model Checking of Concurrent Garbage Collection},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {1--8},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/TakahashiH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Thang00,
  author       = {Le Xuan Thang},
  title        = {Berlioz: Compiling Oz to Java Bytecode},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {211--221},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Thang00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Ueda00,
  author       = {Kazunori Ueda},
  title        = {Linearity Analysis of Concurrent Logic Programs},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {51--68},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Ueda00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/WuJ00,
  author       = {Hui Wu and
                  Joxan Jaffar},
  title        = {An Efficient Algorithm for Scheduling Instructions with Deadline Constraints
                  on {ILP} Machines},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {167--178},
  year         = {2000},
  timestamp    = {Fri, 18 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/WuJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ZhaoHT00,
  author       = {Haiyan Zhao and
                  Zhenjiang Hu and
                  Masato Takeichi},
  title        = {Mining Optimized Ranges},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {119--127},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ZhaoHT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aplas/2000,
  title        = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/2000.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.