default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/flops/flops2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/flops/AlbertHV01,
author = {Elvira Albert and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative Language},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {326--342},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_21},
doi = {10.1007/3-540-44716-4\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AlbertHV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Almendros-JimenezB01,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Antonio Becerra{-}Ter{\'{o}}n},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic
Programs},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {153--169},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_10},
doi = {10.1007/3-540-44716-4\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Almendros-JimenezB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AmatoS01,
author = {Gianluca Amato and
Fausto Spoto},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Abstract Compilation for Sharing Analysis},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {311--325},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_20},
doi = {10.1007/3-540-44716-4\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AmatoS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BozzanoDM01,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {An Effective Bottom-Up Semantics for First-Order Linear Logic Programs},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {138--152},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_9},
doi = {10.1007/3-540-44716-4\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BozzanoDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaballeroLR01,
author = {Rafael Caballero and
Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Theoretical Foundations for the Declarative Debugging of Lazy Functional
Logic Programs},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {170--184},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_11},
doi = {10.1007/3-540-44716-4\_11},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaballeroLR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ChoiLH01,
author = {Kwanghoon Choi and
Hyun{-}il Lim and
Taisook Han},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Compiling Lazy Functional Programs Based on the Spineless Tagless
G-Machine for the Java Virtual Machine},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {92--107},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_6},
doi = {10.1007/3-540-44716-4\_6},
timestamp = {Sat, 27 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/ChoiLH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DanvyN01,
author = {Olivier Danvy and
Lasse R. Nielsen},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Higher-Order Colon Translation},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {78--91},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_5},
doi = {10.1007/3-540-44716-4\_5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DanvyN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DanvyR01,
author = {Olivier Danvy and
Morten Rhiger},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Simple Take on Typed Abstract Syntax in Haskell-like Languages},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {343--358},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_22},
doi = {10.1007/3-540-44716-4\_22},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DanvyR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Delzanno01,
author = {Giorgio Delzanno},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Specifying and Debugging Security Protocols via Hereditary Harrop
Formulas and {\textbackslash}lambda Prolog - {A} Case-study},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {123--137},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_8},
doi = {10.1007/3-540-44716-4\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Delzanno01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DeransartS01,
author = {Pierre Deransart and
Jan{-}Georg Smaus},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Well-Typed Logic Programs Are not Wrong},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {280--295},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_18},
doi = {10.1007/3-540-44716-4\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DeransartS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ferri-RamirezHR01,
author = {C{\'{e}}sar Ferri and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Incremental Learning of Functional Logic Programs},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {233--247},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_15},
doi = {10.1007/3-540-44716-4\_15},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ferri-RamirezHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hortala-GonzalezU01,
author = {Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Eva Ull{\'{a}}n},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {An Abstract Machine Based System for a Lazy Narrowing Calculus},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {216--232},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_14},
doi = {10.1007/3-540-44716-4\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hortala-GonzalezU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kagawa01,
author = {Koji Kagawa},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Monadic Encapsulation with Stack of Regions},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {264--279},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_17},
doi = {10.1007/3-540-44716-4\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kagawa01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KamareddineLN01,
author = {Fairouz Kamareddine and
Twan Laan and
Rob Nederpelt},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Refining the Barendregt Cube Using Parameters},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {375--390},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_24},
doi = {10.1007/3-540-44716-4\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KamareddineLN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LagoonS01,
author = {Vitaly Lagoon and
Peter J. Stuckey},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Framework for Analysis of Typed Logic Programs},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {296--310},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_19},
doi = {10.1007/3-540-44716-4\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LagoonS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LeachN01,
author = {Javier Leach and
Susana Nieva},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Higher-Order Logic Programming Language with Constraints},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {108--122},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_7},
doi = {10.1007/3-540-44716-4\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LeachN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lux01,
author = {Wolfgang Lux},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Adding Linear Constraints over Real Numbers to Curry},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {185--200},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_12},
doi = {10.1007/3-540-44716-4\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lux01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Nadathur01,
author = {Gopalan Nadathur},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {The Metalanguage lambda-Prolog and Its Implementation},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {1--20},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_1},
doi = {10.1007/3-540-44716-4\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Nadathur01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Necula01,
author = {George C. Necula},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Scalable Architecture for Proof-Carrying Code},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {21--39},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_2},
doi = {10.1007/3-540-44716-4\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Necula01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PolakovY01,
author = {Jeff Polakow and
Kwangkeun Yi},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Proving Syntactic Properties of Exceptions in an Ordered Logical Framework},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {61--77},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_4},
doi = {10.1007/3-540-44716-4\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/PolakovY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Sato01,
author = {Taisuke Sato},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Parameterized Logic Programs where Computing Meets Learning},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {40--60},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_3},
doi = {10.1007/3-540-44716-4\_3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Sato01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SatoSK01,
author = {Masahiko Sato and
Takafumi Sakurai and
Yukiyoshi Kameyama},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Simply Typed Context Calculus with First-Class Environments},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {359--374},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_23},
doi = {10.1007/3-540-44716-4\_23},
timestamp = {Sat, 28 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SatoSK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Sulzmann01,
author = {Martin Sulzmann},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A General Type Inference Framework for Hindley/Milner Style Systems},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {248--263},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_16},
doi = {10.1007/3-540-44716-4\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Sulzmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SuzukiM01,
author = {Taro Suzuki and
Aart Middeldorp},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Complete Selection Function for Lazy Conditional Narrowing},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {201--215},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_13},
doi = {10.1007/3-540-44716-4\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/SuzukiM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2001,
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4},
doi = {10.1007/3-540-44716-4},
isbn = {3-540-41739-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-28 14:53 CET from data curated 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:
