default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/flops:"
download as .bib file
@inproceedings{DBLP:conf/flops/AbeysingheR24,
author = {Supun Abeysinghe and
Tiark Rompf},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Rhyme: {A} Data-Centric Multi-paradigm Query Language Based on Functional
Logic Metaprogramming - System Description},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {273--288},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_14},
doi = {10.1007/978-981-97-2300-3\_14},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AbeysingheR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Fages24,
author = {Fran{\c{c}}ois Fages},
editor = {Jeremy Gibbons and
Dale Miller},
title = {A Constraint-Based Mathematical Modeling Library in Prolog with Answer
Constraint Semantics},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {135--150},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_8},
doi = {10.1007/978-981-97-2300-3\_8},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Fages24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/GalassoC24,
author = {Seth Galasso and
Matteo Cimini},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Language-parameterized Proofs for Functional Languages with Subtyping},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {291--310},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_15},
doi = {10.1007/978-981-97-2300-3\_15},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/GalassoC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/GuillaumePT24,
author = {Maxime Guillaume and
Sylvain Pogodalla and
Vincent Tourneur},
editor = {Jeremy Gibbons and
Dale Miller},
title = {ACGtk: {A} Toolkit for Developing and Running Abstract Categorial
Grammars},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {13--30},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_2},
doi = {10.1007/978-981-97-2300-3\_2},
timestamp = {Tue, 04 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/GuillaumePT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hanus24,
author = {Michael Hanus},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Inferring Non-failure Conditions for Declarative Programs},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {167--187},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_10},
doi = {10.1007/978-981-97-2300-3\_10},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hanus24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Inoue24,
author = {Katsumi Inoue},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Algebraic Connection Between Logic Programming and Machine Learning
(Extended Abstract)},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {3--9},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_1},
doi = {10.1007/978-981-97-2300-3\_1},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Inoue24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KassingDG24,
author = {Jan{-}Christoph Kassing and
Stefan Dollase and
J{\"{u}}rgen Giesl},
editor = {Jeremy Gibbons and
Dale Miller},
title = {A Complete Dependency Pair Framework for Almost-Sure Innermost Termination
of Probabilistic Term Rewriting},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {62--80},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_4},
doi = {10.1007/978-981-97-2300-3\_4},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KassingDG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kiselyov24,
author = {Oleg Kiselyov},
editor = {Jeremy Gibbons and
Dale Miller},
title = {MetaOCaml: Ten Years Later - System Description},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {219--236},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_12},
doi = {10.1007/978-981-97-2300-3\_12},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kiselyov24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LamP24,
author = {Chun Kit Lam and
Lionel Parreaux},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Being Lazy When It Counts - Practical Constant-Time Memory Management
for Functional Programming},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {188--216},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_11},
doi = {10.1007/978-981-97-2300-3\_11},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LamP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lambert24,
author = {Dakotah Lambert},
editor = {Jeremy Gibbons and
Dale Miller},
title = {System Description: {A} Theorem-Prover for Subregular Systems: The
Language Toolkit and Its Interpreter, Plebby},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {311--328},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_16},
doi = {10.1007/978-981-97-2300-3\_16},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lambert24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LellmannMT24,
author = {Bj{\"{o}}rn Lellmann and
Philipp Marek and
Markus Triska},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Grants4Companies: Applying Declarative Methods for Recommending and
Reasoning About Business Grants in the Austrian Public Administration
(System Description)},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {151--164},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_9},
doi = {10.1007/978-981-97-2300-3\_9},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LellmannMT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MuroyaH24,
author = {Koko Muroya and
Makoto Hamana},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Term Evaluation Systems with Refinements: First-Order, Second-Order,
and Contextual Improvement},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {31--61},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_3},
doi = {10.1007/978-981-97-2300-3\_3},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MuroyaH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SuwaI24,
author = {Takashi Suwa and
Atsushi Igarashi},
editor = {Jeremy Gibbons and
Dale Miller},
title = {An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage
Programming},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {237--272},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_13},
doi = {10.1007/978-981-97-2300-3\_13},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SuwaI24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Tarau24,
author = {Paul Tarau},
editor = {Jeremy Gibbons and
Dale Miller},
title = {System Description: DeepLLM, Casting Dialog Threads into Logic Programs},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {117--134},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_7},
doi = {10.1007/978-981-97-2300-3\_7},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Tarau24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/VandenbrouckeS24,
author = {Alexander Vandenbroucke and
Tom Schrijvers},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Declarative Pearl: Rigged Contracts},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {99--114},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_6},
doi = {10.1007/978-981-97-2300-3\_6},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/VandenbrouckeS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/VieraPS24,
author = {Marcos Viera and
Alberto Pardo and
Jo{\~{a}}o Saraiva},
editor = {Jeremy Gibbons and
Dale Miller},
title = {Tabulation with Zippers},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
pages = {83--98},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_5},
doi = {10.1007/978-981-97-2300-3\_5},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/VieraPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2024,
editor = {Jeremy Gibbons and
Dale Miller},
title = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3},
doi = {10.1007/978-981-97-2300-3},
isbn = {978-981-97-2299-0},
timestamp = {Tue, 04 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AmeenKS22,
author = {Mahmudul Faisal Al Ameen and
Naoki Kobayashi and
Ryosuke Sato},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Asynchronous Unfold/Fold Transformation for Fixpoint Logic},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {39--56},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_3},
doi = {10.1007/978-3-030-99461-7\_3},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/AmeenKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AnconaBZ22,
author = {Davide Ancona and
Pietro Barbieri and
Elena Zucca},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Enhancing Expressivity of Checked Corecursive Streams},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {1--18},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_1},
doi = {10.1007/978-3-030-99461-7\_1},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AnconaBZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BergS22,
author = {Birthe van den Berg and
Tom Schrijvers},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {A Functional Account of Probabilistic Programming with Possible Worlds
- Declarative Pearl},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {186--204},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_11},
doi = {10.1007/978-3-030-99461-7\_11},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BergS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ChenN22,
author = {Sheng Chen and
Md. Rabib Noor},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Improving Type Error Reporting for Type Classes},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {19--38},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_2},
doi = {10.1007/978-3-030-99461-7\_2},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/ChenN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HirataMS22,
author = {Michikazu Hirata and
Yasuhiko Minamide and
Tetsuya Sato},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {57--74},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_4},
doi = {10.1007/978-3-030-99461-7\_4},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HirataMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kiselyov22,
author = {Oleg Kiselyov},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Generating {C} - System Description},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {75--93},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_5},
doi = {10.1007/978-3-030-99461-7\_5},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kiselyov22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KrijnenCKS22,
author = {Jacco O. G. Krijnen and
Manuel M. T. Chakravarty and
Gabriele Keller and
Wouter Swierstra},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Translation Certification for Smart Contracts},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {94--111},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_6},
doi = {10.1007/978-3-030-99461-7\_6},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KrijnenCKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MacedoVS22,
author = {Jos{\'{e}} Nuno Macedo and
Marcos Viera and
Jo{\~{a}}o Saraiva},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Zipping Strategies and Attribute Grammars},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {112--132},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_7},
doi = {10.1007/978-3-030-99461-7\_7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MacedoVS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MasudaK22,
author = {Masahiro Masuda and
Yukiyoshi Kameyama},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Unified Program Generation and Verification: {A} Case Study on Number-Theoretic
Transform},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {133--151},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_8},
doi = {10.1007/978-3-030-99461-7\_8},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MasudaK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/RozplokhasB22,
author = {Dmitry Rozplokhas and
Dmitry Boulytchev},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Scheduling Complexity of Interleaving Search},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {152--170},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_9},
doi = {10.1007/978-3-030-99461-7\_9},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/RozplokhasB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ShbitaM22,
author = {Basel Shbita and
Abha Moitra},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Automated Generation of Control Concepts Annotation Rules Using Inductive
Logic Programming - System Description},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {171--185},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_10},
doi = {10.1007/978-3-030-99461-7\_10},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/ShbitaM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Vidal22,
author = {Germ{\'{a}}n Vidal},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Explanations as Programs in Probabilistic Logic Programming},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {205--223},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_12},
doi = {10.1007/978-3-030-99461-7\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Vidal22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/WangG22,
author = {Huaduo Wang and
Gopal Gupta},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {{FOLD-R++:} {A} Scalable Toolset for Automated Inductive Learning
of Default Theories from Mixed Data},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {224--242},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_13},
doi = {10.1007/978-3-030-99461-7\_13},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/WangG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/YangXGH22,
author = {Ziyi Yang and
Yushuo Xiao and
Zhichao Guan and
Zhenjiang Hu},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {A Lazy Desugaring System for Evaluating Programs with Sugars},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {243--261},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_14},
doi = {10.1007/978-3-030-99461-7\_14},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/YangXGH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ZhangN22,
author = {Shujun Zhang and
Naoki Nishida},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction
Proofs},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {262--281},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_15},
doi = {10.1007/978-3-030-99461-7\_15},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/ZhangN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2022,
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7},
doi = {10.1007/978-3-030-99461-7},
isbn = {978-3-030-99460-0},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AccattoliD20,
author = {Beniamino Accattoli and
Alejandro D{\'{\i}}az{-}Caro},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Functional Pearl: The Distributive {\(\lambda\)}-Calculus},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {33--49},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_3},
doi = {10.1007/978-3-030-59025-3\_3},
timestamp = {Thu, 26 Nov 2020 15:44:21 +0100},
biburl = {https://dblp.org/rec/conf/flops/AccattoliD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BucciarelliKRV20,
author = {Antonio Bucciarelli and
Delia Kesner and
Alejandro R{\'{\i}}os and
Andr{\'{e}}s Viso},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {The Bang Calculus Revisited},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {13--32},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_2},
doi = {10.1007/978-3-030-59025-3\_2},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BucciarelliKRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Cimini20,
author = {Matteo Cimini},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {On the Effectiveness of Higher-Order Logic Programming in Language-Oriented
Programming},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {106--123},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_7},
doi = {10.1007/978-3-030-59025-3\_7},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Cimini20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/FortzMPPVV20,
author = {Sophie Fortz and
Fred Mesnard and
{\'{E}}tienne Payet and
Gilles Perrouin and
Wim Vanhoof and
Germ{\'{a}}n Vidal},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {An SMT-Based Concolic Testing Tool for Logic Programs},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {215--219},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_13},
doi = {10.1007/978-3-030-59025-3\_13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/FortzMPPVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HainryMP20,
author = {Emmanuel Hainry and
Damiano Mazza and
Romain P{\'{e}}choux},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Polynomial Time over the Reals with Parsimony},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {50--65},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_4},
doi = {10.1007/978-3-030-59025-3\_4},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HainryMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hamana20,
author = {Makoto Hamana},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Theory and Practice of Second-Order Rewriting: Foundation, Evolution,
and {SOL}},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {3--9},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_1},
doi = {10.1007/978-3-030-59025-3\_1},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hamana20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KiselyovI20,
author = {Oleg Kiselyov and
Keigo Imai},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Session Types Without Sophistry - System Description},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {66--87},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_5},
doi = {10.1007/978-3-030-59025-3\_5},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KiselyovI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MouradC20,
author = {Benjamin Mourad and
Matteo Cimini},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {System Description: Lang-n-Change - {A} Tool for Transforming Languages},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {198--214},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_12},
doi = {10.1007/978-3-030-59025-3\_12},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MouradC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MuC20,
author = {Shin{-}Cheng Mu and
Tsung{-}Ju Chiang},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Declarative Pearl: Deriving Monadic Quicksort},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {124--138},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_8},
doi = {10.1007/978-3-030-59025-3\_8},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MuC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/OkuraK20,
author = {Rui Okura and
Yukiyoshi Kameyama},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Language-Integrated Query with Nested Data Structures and Grouping},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {139--158},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_9},
doi = {10.1007/978-3-030-59025-3\_9},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/OkuraK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SaotomeNK20,
author = {Kenji Saotome and
Koji Nakazawa and
Daisuke Kimura},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Restriction on Cut in Cyclic Proof System for Symbolic Heaps},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {88--105},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_6},
doi = {10.1007/978-3-030-59025-3\_6},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SaotomeNK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/TsushimaTGH20,
author = {Kanae Tsushima and
Bach Nguyen Trong and
Robert Gl{\"{u}}ck and
Zhenjiang Hu},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {An Efficient Composition of Bidirectional Programs by Memoization
and Lazy Update},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {159--178},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_10},
doi = {10.1007/978-3-030-59025-3\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/TsushimaTGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/WestphalV20,
author = {Oliver Westphal and
Janis Voigtl{\"{a}}nder},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Implementing, and Keeping in Check, a {DSL} Used in E-Learning},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {179--197},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_11},
doi = {10.1007/978-3-030-59025-3\_11},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/WestphalV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2020,
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3},
doi = {10.1007/978-3-030-59025-3},
isbn = {978-3-030-59024-6},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyH18,
author = {Sergio Antoy and
Michael Hanus},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Equivalence Checking of Non-deterministic Operations},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {149--165},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_10},
doi = {10.1007/978-3-319-90686-7\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/AntoyH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AvanziniL018,
author = {Martin Avanzini and
Ugo Dal Lago and
Akihisa Yamada},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {On Probabilistic Term Rewriting},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {132--148},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_9},
doi = {10.1007/978-3-319-90686-7\_9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AvanziniL018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ChengHM18,
author = {Chen{-}Mou Cheng and
Ruey{-}Lin Hsu and
Shin{-}Cheng Mu},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Functional Pearl: Folding Polynomials of Polynomials},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {68--83},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_5},
doi = {10.1007/978-3-319-90686-7\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/ChengHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CheungDGMR18,
author = {Steven Cheung and
Victor Darvariu and
Dan R. Ghica and
Koko Muroya and
Reuben N. S. Rowe},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {A Functional Perspective on Machine Learning via Programmable Induction
and Abduction},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {84--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_6},
doi = {10.1007/978-3-319-90686-7\_6},
timestamp = {Sat, 05 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CheungDGMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CodishEGIS18,
author = {Michael Codish and
Thorsten Ehlers and
Graeme Gange and
Avraham Itzhakov and
Peter J. Stuckey},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Breaking Symmetries with Lex Implications},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {182--197},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_12},
doi = {10.1007/978-3-319-90686-7\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CodishEGIS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/GallF18,
author = {Daniel Gall and
Thom W. Fr{\"{u}}hwirth},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Confluence Modulo Equivalence with Invariants in Constraint Handling
Rules},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {116--131},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_8},
doi = {10.1007/978-3-319-90686-7\_8},
timestamp = {Thu, 03 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/GallF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hamana18,
author = {Makoto Hamana},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance
Validation},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {99--115},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_7},
doi = {10.1007/978-3-319-90686-7\_7},
timestamp = {Thu, 03 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hamana18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kiselyov18,
author = {Oleg Kiselyov},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {{\textbackslash}lambda {\(\lambda\)} to SKI, Semantically - Declarative
Pearl},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {33--50},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_3},
doi = {10.1007/978-3-319-90686-7\_3},
timestamp = {Thu, 03 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kiselyov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lanese0PV18,
author = {Ivan Lanese and
Naoki Nishida and
Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {CauDEr: {A} Causal-Consistent Reversible Debugger for Erlang},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {247--263},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_16},
doi = {10.1007/978-3-319-90686-7\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Lanese0PV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Matsuoka18,
author = {Satoshi Matsuoka},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative
Linear Logic},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {17--32},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_2},
doi = {10.1007/978-3-319-90686-7\_2},
timestamp = {Thu, 03 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Matsuoka18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MizunoS18,
author = {Masayuki Mizuno and
Eijiro Sumii},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Formal Verification of the Correspondence Between Call-by-Need and
Call-by-Name},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {1--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_1},
doi = {10.1007/978-3-319-90686-7\_1},
timestamp = {Thu, 03 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MizunoS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MorihataEMHI18,
author = {Akimasa Morihata and
Kento Emoto and
Kiminori Matsuzaki and
Zhenjiang Hu and
Hideya Iwasaki},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Optimizing Declarative Parallel Distributed Graph Processing by Using
Constraint Solvers},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {166--181},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_11},
doi = {10.1007/978-3-319-90686-7\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MorihataEMHI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MoserS18,
author = {Georg Moser and
Manuel Schneckenreither},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Automated Amortised Resource Analysis for Term Rewrite Systems},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {214--229},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_14},
doi = {10.1007/978-3-319-90686-7\_14},
timestamp = {Sat, 05 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MoserS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Riesco18,
author = {Adri{\'{a}}n Riesco},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Model Checking Parameterized by the Semantics in Maude},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {198--213},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_13},
doi = {10.1007/978-3-319-90686-7\_13},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Riesco18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Sakaguchi18,
author = {Kazuhiko Sakaguchi},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Program Extraction for Mutable Arrays},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {51--67},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_4},
doi = {10.1007/978-3-319-90686-7\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Sakaguchi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/TsushimaC18,
author = {Kanae Tsushima and
Olaf Chitil},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {A Common Framework Using Expected Types for Several Type Debugging
Approaches},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {230--246},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_15},
doi = {10.1007/978-3-319-90686-7\_15},
timestamp = {Thu, 03 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/TsushimaC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/WalkerR18,
author = {Michael Walker and
Colin Runciman},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Cheap Remarks About Concurrent Programs},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {264--279},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_17},
doi = {10.1007/978-3-319-90686-7\_17},
timestamp = {Tue, 12 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/WalkerR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2018,
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7},
doi = {10.1007/978-3-319-90686-7},
isbn = {978-3-319-90685-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/0001KSP16,
author = {Peng Fu and
Ekaterina Komendantskaya and
Tom Schrijvers and
Andrew Pond},
editor = {Oleg Kiselyov and
Andy King},
title = {Proof Relevant Corecursive Resolution},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {126--143},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_9},
doi = {10.1007/978-3-319-29604-3\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/0001KSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AhnV16,
author = {Ki Yung Ahn and
Andrea Vezzosi},
editor = {Oleg Kiselyov and
Andy King},
title = {Executable Relational Specifications of Polymorphic Type Systems Using
Prolog},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {109--125},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_8},
doi = {10.1007/978-3-319-29604-3\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AhnV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BlotDL16,
author = {Arthur Blot and
Pierre{-}{\'{E}}variste Dagand and
Julia Lawall},
editor = {Oleg Kiselyov and
Andy King},
title = {From Sets to Bits in Coq},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {12--28},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_2},
doi = {10.1007/978-3-319-29604-3\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BlotDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Brock-Nannestad16,
author = {Taus Brock{-}Nannestad},
editor = {Oleg Kiselyov and
Andy King},
title = {Space-Efficient Planar Acyclicity Constraints - {A} Declarative Pearl},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {94--108},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_7},
doi = {10.1007/978-3-319-29604-3\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Brock-Nannestad16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DelftK16,
author = {Andr{\'{e}} van Delft and
Anatoliy Kmetyuk},
editor = {Oleg Kiselyov and
Andy King},
title = {Declarative Programming with Algebra},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {232--251},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_15},
doi = {10.1007/978-3-319-29604-3\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DelftK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HaemmerleLLKGH16,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Umer Liqat and
Maximiliano Klemen and
John P. Gallagher and
Manuel V. Hermenegildo},
editor = {Oleg Kiselyov and
Andy King},
title = {A Transformational Approach to Parametric Accumulated-Cost Static
Profiling},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {163--180},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_11},
doi = {10.1007/978-3-319-29604-3\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HaemmerleLLKGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lopez-FraguasMR16,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Manuel Montenegro and
Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
editor = {Oleg Kiselyov and
Andy King},
title = {Polymorphic Types in Erlang Function Specifications},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {181--197},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_12},
doi = {10.1007/978-3-319-29604-3\_12},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lopez-FraguasMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MackieS16,
author = {Ian Mackie and
Shinya Sato},
editor = {Oleg Kiselyov and
Andy King},
title = {An Interaction Net Encoding of G{\"{o}}del's System \emph{T}
- Declarative Pearl},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {80--93},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_6},
doi = {10.1007/978-3-319-29604-3\_6},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MackieS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/McCarthyFNFF16,
author = {Jay A. McCarthy and
Burke Fetscher and
Max S. New and
Daniel Feltey and
Robert Bruce Findler},
editor = {Oleg Kiselyov and
Andy King},
title = {A Coq Library for Internal Verification of Running-Times},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {144--162},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_10},
doi = {10.1007/978-3-319-29604-3\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/McCarthyFNFF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Morihata16,
author = {Akimasa Morihata},
editor = {Oleg Kiselyov and
Andy King},
title = {Incremental Computing with Abstract Data Structures},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {215--231},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_14},
doi = {10.1007/978-3-319-29604-3\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Morihata16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/NarayananCRSZ16,
author = {Praveen Narayanan and
Jacques Carette and
Wren Romano and
Chung{-}chieh Shan and
Robert Zinkov},
editor = {Oleg Kiselyov and
Andy King},
title = {Probabilistic Inference by Program Transformation in Hakaru (System
Description)},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {62--79},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_5},
doi = {10.1007/978-3-319-29604-3\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/NarayananCRSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SwierstraA16,
author = {Wouter Swierstra and
Jo{\~{a}}o Alpuim},
editor = {Oleg Kiselyov and
Andy King},
title = {From Proposition to Program - Embedding the Refinement Calculus in
Coq},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {29--44},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_3},
doi = {10.1007/978-3-319-29604-3\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SwierstraA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Triska16,
author = {Markus Triska},
editor = {Oleg Kiselyov and
Andy King},
title = {The Boolean Constraint Solver of SWI-Prolog (System Description)},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {45--61},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_4},
doi = {10.1007/978-3-319-29604-3\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Triska16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ueda16,
author = {Kazunori Ueda},
editor = {Oleg Kiselyov and
Andy King},
title = {Logic/Constraint Programming and Concurrency: The Hard-Won Lessons
of the Fifth Generation Computer Project},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {1--11},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_1},
doi = {10.1007/978-3-319-29604-3\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ueda16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/YallopSM16,
author = {Jeremy Yallop and
David Sheets and
Anil Madhavapeddy},
editor = {Oleg Kiselyov and
Andy King},
title = {Declarative Foreign Function Binding Through Generic Programming},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {198--214},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_13},
doi = {10.1007/978-3-319-29604-3\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/YallopSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2016,
editor = {Oleg Kiselyov and
Andy King},
title = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3},
doi = {10.1007/978-3-319-29604-3},
isbn = {978-3-319-29603-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/0002S14,
author = {Jan Hoffmann and
Zhong Shao},
editor = {Michael Codish and
Eijiro Sumii},
title = {Type-Based Amortized Resource Analysis with Integers and Arrays},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {152--168},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_10},
doi = {10.1007/978-3-319-07151-0\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/0002S14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/0008E14,
author = {Sheng Chen and
Martin Erwig},
editor = {Michael Codish and
Eijiro Sumii},
title = {Guided Type Debugging},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {35--51},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_3},
doi = {10.1007/978-3-319-07151-0\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/0008E14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AmaralFC14,
author = {Cl{\'{a}}udio Amaral and
M{\'{a}}rio Florido and
V{\'{\i}}tor Santos Costa},
editor = {Michael Codish and
Eijiro Sumii},
title = {PrologCheck - Property-Based Testing in Prolog},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {1--17},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_1},
doi = {10.1007/978-3-319-07151-0\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/AmaralFC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Bahr14,
author = {Patrick Bahr},
editor = {Michael Codish and
Eijiro Sumii},
title = {Proving Correctness of Compilers Using Structured Graphs},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {221--237},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_14},
doi = {10.1007/978-3-319-07151-0\_14},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Bahr14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BalabonskiPP14,
author = {Thibaut Balabonski and
Fran{\c{c}}ois Pottier and
Jonathan Protzenko},
editor = {Michael Codish and
Eijiro Sumii},
title = {Type Soundness and Race Freedom for Mezzo},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {253--269},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_16},
doi = {10.1007/978-3-319-07151-0\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BalabonskiPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BarkatiWJ14,
author = {Karim Barkati and
Haisheng Wang and
Pierre Jouvelot},
editor = {Michael Codish and
Eijiro Sumii},
title = {Faustine: {A} Vector Faust Interpreter Test Bed for Multimedia Signal
Processing - System Description},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {69--85},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_5},
doi = {10.1007/978-3-319-07151-0\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BarkatiWJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaiO14,
author = {Xiaojuan Cai and
Mizuhito Ogawa},
editor = {Michael Codish and
Eijiro Sumii},
title = {Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {336--352},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_21},
doi = {10.1007/978-3-319-07151-0\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaiO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ClaessenDP14,
author = {Koen Claessen and
Jonas Dureg{\aa}rd and
Michal H. Palka},
editor = {Michael Codish and
Eijiro Sumii},
title = {Generating Constrained Random Data with Uniform Distribution},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {18--34},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_2},
doi = {10.1007/978-3-319-07151-0\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/ClaessenDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DunduaFKM14,
author = {Besik Dundua and
M{\'{a}}rio Florido and
Temur Kutsia and
Mircea Marin},
editor = {Michael Codish and
Eijiro Sumii},
title = {Constraint Logic Programming for Hedges: {A} Semantic Reconstruction},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {285--301},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_18},
doi = {10.1007/978-3-319-07151-0\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DunduaFKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HanadaI14,
author = {Yuichiro Hanada and
Atsushi Igarashi},
editor = {Michael Codish and
Eijiro Sumii},
title = {On Cross-Stage Persistence in Multi-Stage Programming},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {103--118},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_7},
doi = {10.1007/978-3-319-07151-0\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/HanadaI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kiselyov14,
author = {Oleg Kiselyov},
editor = {Michael Codish and
Eijiro Sumii},
title = {The Design and Implementation of {BER} MetaOCaml - System Description},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {86--102},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_6},
doi = {10.1007/978-3-319-07151-0\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kiselyov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KrienerK14,
author = {Jael Kriener and
Andy King},
editor = {Michael Codish and
Eijiro Sumii},
title = {Semantics for Prolog with Cut - Revisited},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {270--284},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_17},
doi = {10.1007/978-3-319-07151-0\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KrienerK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Magalhaes14,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Michael Codish and
Eijiro Sumii},
title = {Generic Programming with Multiple Parameters},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {136--151},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_9},
doi = {10.1007/978-3-319-07151-0\_9},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Magalhaes14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MorihataKO14,
author = {Akimasa Morihata and
Masato Koishi and
Atsushi Ohori},
editor = {Michael Codish and
Eijiro Sumii},
title = {Dynamic Programming via Thinning and Incrementalization},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {186--202},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_12},
doi = {10.1007/978-3-319-07151-0\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MorihataKO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/NaR14,
author = {Hyunik Na and
Sukyoung Ryu},
editor = {Michael Codish and
Eijiro Sumii},
title = {A New Formalization of Subtyping to Match Subclasses to Subtypes},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {238--252},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_15},
doi = {10.1007/978-3-319-07151-0\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/NaR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Parys14,
author = {Pawel Parys},
editor = {Michael Codish and
Eijiro Sumii},
title = {How Many Numbers Can a Lambda-Term Contain?},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {302--318},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_19},
doi = {10.1007/978-3-319-07151-0\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Parys14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Riesco14,
author = {Adri{\'{a}}n Riesco},
editor = {Michael Codish and
Eijiro Sumii},
title = {Using Big-Step and Small-Step Semantics in Maude to Perform Declarative
Debugging},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {52--68},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_4},
doi = {10.1007/978-3-319-07151-0\_4},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Riesco14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Sacchini14,
author = {Jorge Luis Sacchini},
editor = {Michael Codish and
Eijiro Sumii},
title = {Linear Sized Types in the Calculus of Constructions},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {169--185},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_11},
doi = {10.1007/978-3-319-07151-0\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Sacchini14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SulzmannL14,
author = {Martin Sulzmann and
Kenny Zhuo Ming Lu},
editor = {Michael Codish and
Eijiro Sumii},
title = {{POSIX} Regular Expression Parsing with Derivatives},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {203--220},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_13},
doi = {10.1007/978-3-319-07151-0\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SulzmannL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/YallopW14,
author = {Jeremy Yallop and
Leo White},
editor = {Michael Codish and
Eijiro Sumii},
title = {Lightweight Higher-Kinded Polymorphism},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {119--135},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_8},
doi = {10.1007/978-3-319-07151-0\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/YallopW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/YamadaWHM14,
author = {Akihisa Yamada and
Sarah Winkler and
Nao Hirokawa and
Aart Middeldorp},
editor = {Michael Codish and
Eijiro Sumii},
title = {{AC-KBO} Revisited},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {319--335},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_20},
doi = {10.1007/978-3-319-07151-0\_20},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/YamadaWHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2014,
editor = {Michael Codish and
Eijiro Sumii},
title = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0},
doi = {10.1007/978-3-319-07151-0},
isbn = {978-3-319-07150-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AccattoliP12,
author = {Beniamino Accattoli and
Luca Paolini},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Call-by-Value Solvability, Revisited},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {4--16},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_4},
doi = {10.1007/978-3-642-29822-6\_4},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/flops/AccattoliP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyP12,
author = {Sergio Antoy and
Arthur Michener Peters},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Compiling a Functional Logic Language: The Basic Scheme},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {17--31},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_5},
doi = {10.1007/978-3-642-29822-6\_5},
timestamp = {Tue, 06 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AntoyP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AriolaDHNS12,
author = {Zena M. Ariola and
Paul Downen and
Hugo Herbelin and
Keiko Nakata and
Alexis Saurin},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {32--46},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_6},
doi = {10.1007/978-3-642-29822-6\_6},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AriolaDHNS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BiernackiL12,
author = {Dariusz Biernacki and
Sergue{\"{\i}} Lenglet},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Normal Form Bisimulations for Delimited-Control Operators},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {47--61},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_7},
doi = {10.1007/978-3-642-29822-6\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BiernackiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Bouma12,
author = {Gerlof Bouma},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Real-Time Persistent Queues and Deques with Logic Variables (Declarative
Pearl)},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {62--72},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_8},
doi = {10.1007/978-3-642-29822-6\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Bouma12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaballeroGS12,
author = {Rafael Caballero and
Yolanda Garc{\'{\i}}a{-}Ruiz and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Declarative Debugging of Wrong and Missing Answers for {SQL} Views},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {73--87},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_9},
doi = {10.1007/978-3-642-29822-6\_9},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaballeroGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CastineirasS12,
author = {Ignacio Casti{\~{n}}eiras and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Improving the Performance of {FD} Constraint Solving in a {CFLP} System},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {88--103},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_10},
doi = {10.1007/978-3-642-29822-6\_10},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CastineirasS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Codish12,
author = {Michael Codish},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Programming with Boolean Satisfaction},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_1},
doi = {10.1007/978-3-642-29822-6\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Codish12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/GuzmanCHS12,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
Manuel V. Hermenegildo and
Peter J. Stuckey},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {A General Implementation Framework for Tabled {CLP}},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {104--119},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_11},
doi = {10.1007/978-3-642-29822-6\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/GuzmanCHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hamana12,
author = {Makoto Hamana},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation
in Haskell},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {136--150},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_13},
doi = {10.1007/978-3-642-29822-6\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hamana12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hirai12,
author = {Yoichi Hirai},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {A Lambda Calculus for G{\"{o}}del-Dummett Logic Capturing Waitfreedom},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {151--165},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_14},
doi = {10.1007/978-3-642-29822-6\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Hirai12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kiselyov12,
author = {Oleg Kiselyov},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Iteratees},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {166--181},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_15},
doi = {10.1007/978-3-642-29822-6\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kiselyov12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KrienerK12,
author = {Jael Kriener and
Andy King},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Mutual Exclusion by Interpolation},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {182--196},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_16},
doi = {10.1007/978-3-642-29822-6\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KrienerK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lobachev12,
author = {Oleg Lobachev},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Parallel Computation Skeletons with Premature Termination Property},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {197--212},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_17},
doi = {10.1007/978-3-642-29822-6\_17},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lobachev12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MartinFS12,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Extending the {TOY} System with the ECLiPSe Solver over Sets of Integers},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {120--135},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_12},
doi = {10.1007/978-3-642-29822-6\_12},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MartinFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Morihata12,
author = {Akimasa Morihata},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Calculational Developments of New Parallel Algorithms for Size-Constrained
Maximum-Sum Segment Problems},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {213--227},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_18},
doi = {10.1007/978-3-642-29822-6\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Morihata12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/RoseVS12,
author = {Kristoffer H{\o}gsbro Rose and
Lionel Villard and
Naoto Sato},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {A Data Flow Language for Hybrid Query and Programming Languages},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {228--242},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_19},
doi = {10.1007/978-3-642-29822-6\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/RoseVS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SaeedloeiG12,
author = {Neda Saeedloei and
Gopal Gupta},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Coinductive Constraint Logic Programming},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {243--259},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_20},
doi = {10.1007/978-3-642-29822-6\_20},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SaeedloeiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/TanakaK12,
author = {Asami Tanaka and
Yukiyoshi Kameyama},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {A Call-by-Name {CPS} Hierarchy},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {260--274},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_21},
doi = {10.1007/978-3-642-29822-6\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/TanakaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Terauchi12,
author = {Tachio Terauchi},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Automated Verification of Higher-Order Functional Programs},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_2},
doi = {10.1007/978-3-642-29822-6\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Terauchi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/TobitaTK12,
author = {Yoshihiro Tobita and
Takeshi Tsukada and
Naoki Kobayashi},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Exact Flow Analysis by Higher-Order Model Checking},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {275--289},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_22},
doi = {10.1007/978-3-642-29822-6\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/TobitaTK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/TorontoM12,
author = {Neil Toronto and
Jay McCarthy},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Computing in Cantor's Paradise with {\(\lambda\)} {ZFC}},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {290--306},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_23},
doi = {10.1007/978-3-642-29822-6\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/TorontoM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Triska12,
author = {Markus Triska},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {The Finite Domain Constraint Solver of SWI-Prolog},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {307--316},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_24},
doi = {10.1007/978-3-642-29822-6\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Triska12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Uustalu12,
author = {Tarmo Uustalu},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Explicit Binds: Effortless Efficiency with and without Trees},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {317--331},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_25},
doi = {10.1007/978-3-642-29822-6\_25},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Uustalu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Weirich12,
author = {Stephanie Weirich},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Dependently-Typed Programming in {GHC}},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {3},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_3},
doi = {10.1007/978-3-642-29822-6\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Weirich12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2012,
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6},
doi = {10.1007/978-3-642-29822-6},
isbn = {978-3-642-29821-9},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Abel10,
author = {Andreas Abel},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Towards Normalization by Evaluation for the \emph{betaeta}-Calculus
of Constructions},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {224--239},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_17},
doi = {10.1007/978-3-642-12251-4\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Abel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AltenkirchDLO10,
author = {Thorsten Altenkirch and
Nils Anders Danielsson and
Andres L{\"{o}}h and
Nicolas Oury},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {PiSigma: Dependent Types without the Sugar},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {40--55},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_5},
doi = {10.1007/978-3-642-12251-4\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AltenkirchDLO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AlvezL10,
author = {Javier {\'{A}}lvez and
Francisco Javier L{\'{o}}pez{-}Fraguas},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {A Complete Axiomatization of Strict Equality},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {118--133},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_10},
doi = {10.1007/978-3-642-12251-4\_10},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AlvezL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AvanziniM10,
author = {Martin Avanzini and
Georg Moser},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Complexity Analysis by Graph Rewriting},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {257--271},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_19},
doi = {10.1007/978-3-642-12251-4\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AvanziniM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BartheBK10,
author = {Gilles Barthe and
Pablo Buiras and
C{\'{e}}sar Kunz},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {A Functional Framework for Result Checking},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {72--86},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_7},
doi = {10.1007/978-3-642-12251-4\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BartheBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BerardiT10,
author = {Stefano Berardi and
Makoto Tatsuta},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Internal Normalization, Compilation and Decompilation for System \emph{F}\({}_{\mbox{bh}}\)},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {207--223},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_16},
doi = {10.1007/978-3-642-12251-4\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BerardiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaballeroGS10,
author = {Rafael Caballero and
Yolanda Garc{\'{\i}}a{-}Ruiz and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Applying Constraint Logic Programming to {SQL} Test Case Generation},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {191--206},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_15},
doi = {10.1007/978-3-642-12251-4\_15},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaballeroGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DanvyMMZ10,
author = {Olivier Danvy and
Kevin Millikin and
Johan Munk and
Ian Zerny},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Defunctionalized Interpreters for Call-by-Need Evaluation},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {240--256},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_18},
doi = {10.1007/978-3-642-12251-4\_18},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DanvyMMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DieterleBL10,
author = {Mischa Dieterle and
Jost Berthold and
Rita Loogen},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {A Skeleton for Distributed Work Pools in Eden},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {337--353},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_24},
doi = {10.1007/978-3-642-12251-4\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DieterleBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/EstruchFHR10,
author = {Vicent Estruch and
C{\'{e}}sar Ferri and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {An Integrated Distance for Atoms},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {150--164},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_12},
doi = {10.1007/978-3-642-12251-4\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/EstruchFHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HaftmannN10,
author = {Florian Haftmann and
Tobias Nipkow},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Code Generation via Higher-Order Rewrite Systems},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {103--117},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_9},
doi = {10.1007/978-3-642-12251-4\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HaftmannN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HoweK10,
author = {Jacob M. Howe and
Andy King},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {A Pearl on {SAT} Solving in Prolog},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {165--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_13},
doi = {10.1007/978-3-642-12251-4\_13},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HoweK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KetemaS10,
author = {Jeroen Ketema and
Jakob Grue Simonsen},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting
and \emph{lambda}-Calculus},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {272--287},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_20},
doi = {10.1007/978-3-642-12251-4\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KetemaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kiselyov10,
author = {Oleg Kiselyov},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Delimited Control in OCaml, Abstractly and Concretely: System Description},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {304--320},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_22},
doi = {10.1007/978-3-642-12251-4\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kiselyov10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MorihataM10,
author = {Akimasa Morihata and
Kiminori Matsuzaki},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Automatic Parallelization of Recursive Functions Using Quantifier
Elimination},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {321--336},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_23},
doi = {10.1007/978-3-642-12251-4\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MorihataM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/NishidaS10,
author = {Naoki Nishida and
Masahiko Sakai},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Proving Injectivity of Functions via Program Inversion in Term Rewriting},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {288--303},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_21},
doi = {10.1007/978-3-642-12251-4\_21},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/NishidaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/OrchardS10,
author = {Dominic A. Orchard and
Tom Schrijvers},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Haskell Type Constraints Unleashed},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {56--71},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_6},
doi = {10.1007/978-3-642-12251-4\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/OrchardS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Pientka10,
author = {Brigitte Pientka},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Beluga: Programming with Dependent Types, Contextual Data, and Contexts},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {1--12},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_1},
doi = {10.1007/978-3-642-12251-4\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Pientka10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/RemyY10,
author = {Didier R{\'{e}}my and
Boris Yakobowski},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {A Church-Style Intermediate Language for ML\({}^{\mbox{F}}\)},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {24--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_4},
doi = {10.1007/978-3-642-12251-4\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/RemyY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Sagonas10,
author = {Konstantinos Sagonas},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Using Static Analysis to Detect Type Errors and Concurrency Defects
in Erlang Programs},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {13--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_2},
doi = {10.1007/978-3-642-12251-4\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Sagonas10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Saurin10,
author = {Alexis Saurin},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Standardization and B{\"{o}}hm Trees for Lambda\emph{{\(\mathrm{\mu}\)}}-Calculus},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {134--149},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_11},
doi = {10.1007/978-3-642-12251-4\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Saurin10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SeidelV10,
author = {Daniel Seidel and
Janis Voigtl{\"{a}}nder},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Automatically Generating Counterexamples to Naive Free Theorems},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {175--190},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_14},
doi = {10.1007/978-3-642-12251-4\_14},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SeidelV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/TamuraTB10,
author = {Naoyuki Tamura and
Tomoya Tanjo and
Mutsunori Banbara},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Solving Constraint Satisfaction Problems with {SAT} Technology},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {19--23},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_3},
doi = {10.1007/978-3-642-12251-4\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/TamuraTB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ThiemannS10,
author = {Peter Thiemann and
Martin Sulzmann},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Tag-Free Combinators for Binding-Time Polymorphic Program Generation},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {87--102},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_8},
doi = {10.1007/978-3-642-12251-4\_8},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/ThiemannS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2010,
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4},
doi = {10.1007/978-3-642-12251-4},
isbn = {978-3-642-12250-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AbelCD08,
author = {Andreas Abel and
Thierry Coquand and
Peter Dybjer},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {On the Algebraic Foundation of Proof Assistants for Intuitionistic
Type Theory},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {3--13},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_2},
doi = {10.1007/978-3-540-78969-7\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/AbelCD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AlvezL08,
author = {Javier {\'{A}}lvez and
Paqui Lucio},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {A Generalization of the Folding Rule for the Clark-Kunen Semantics},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {180--194},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_14},
doi = {10.1007/978-3-540-78969-7\_14},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AlvezL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AvanziniM08,
author = {Martin Avanzini and
Georg Moser},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Complexity Analysis by Rewriting},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {130--146},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_11},
doi = {10.1007/978-3-540-78969-7\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AvanziniM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Benton08,
author = {Nick Benton},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Undoing Dynamic Typing (Declarative Pearl)},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {224--238},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_17},
doi = {10.1007/978-3-540-78969-7\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Benton08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaballeroRV08,
author = {Rafael Caballero and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Declarative Diagnosis of Missing Answers in Constraint Functional-Logic
Programming},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {305--321},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_22},
doi = {10.1007/978-3-540-78969-7\_22},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaballeroRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ChristiansenF08,
author = {Jan Christiansen and
Sebastian Fischer},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {EasyCheck - Test Data for Free},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {322--336},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_23},
doi = {10.1007/978-3-540-78969-7\_23},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/ChristiansenF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Julien08,
author = {Nicolas Julien},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer
Base},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {48--63},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_6},
doi = {10.1007/978-3-540-78969-7\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Julien08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KameyamaY08,
author = {Yukiyoshi Kameyama and
Takuo Yonezawa},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Typed Dynamic Control Operators for Delimited Continuations},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {239--254},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_18},
doi = {10.1007/978-3-540-78969-7\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KameyamaY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KiselyovBFS08,
author = {Oleg Kiselyov and
William E. Byrd and
Daniel P. Friedman and
Chung{-}chieh Shan},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Pure, Declarative, and Constructive Arithmetic Relations (Declarative
Pearl)},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {64--80},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_7},
doi = {10.1007/978-3-540-78969-7\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KiselyovBFS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kobayashi08,
author = {Naoki Kobayashi},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Substructural Type Systems for Program Analysis},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {14},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_3},
doi = {10.1007/978-3-540-78969-7\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kobayashi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kobayashi08a,
author = {Satoshi Kobayashi},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {A New Translation for Semi-classical Theories - Backtracking without
{CPS}},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {210--223},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_16},
doi = {10.1007/978-3-540-78969-7\_16},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kobayashi08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KoninckSD08,
author = {Leslie De Koninck and
Peter J. Stuckey and
Gregory J. Duck},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Optimizing Compilation of {CHR} with Rule Priorities},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {32--47},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_5},
doi = {10.1007/978-3-540-78969-7\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KoninckSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lopez-FraguasRS08,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Rewriting and Call-Time Choice: The {HO} Case},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {147--162},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_12},
doi = {10.1007/978-3-540-78969-7\_12},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lopez-FraguasRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MellarkodG08,
author = {Veena S. Mellarkod and
Michael Gelfond},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Integrating Answer Set Reasoning with Constraint Solving Techniques},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {15--31},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_4},
doi = {10.1007/978-3-540-78969-7\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MellarkodG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/NievaSS08,
author = {Susana Nieva and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Formalizing a Constraint Deductive Database Language Based on Hereditary
Harrop Formulas with Negation},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {289--304},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_21},
doi = {10.1007/978-3-540-78969-7\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/NievaSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PrinceGM08,
author = {Rawle C. S. Prince and
Neil Ghani and
Conor McBride},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Proving Properties about Lists Using Containers},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {97--112},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_9},
doi = {10.1007/978-3-540-78969-7\_9},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/PrinceGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Rodriguez-ArtalejoR08,
author = {Mario Rodr{\'{\i}}guez{-}Artalejo and
Carlos A. Romero{-}D{\'{\i}}az},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Quantitative Logic Programming Revisited},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {272--288},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_20},
doi = {10.1007/978-3-540-78969-7\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Rodriguez-ArtalejoR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Schaub08,
author = {Torsten Schaub},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Model-Based Knowledge Representation and Reasoning Via Answer Set
Programming},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {1--2},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_1},
doi = {10.1007/978-3-540-78969-7\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Schaub08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Tatsuta08,
author = {Makoto Tatsuta},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Types for Hereditary Head Normalizing Terms},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {195--209},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_15},
doi = {10.1007/978-3-540-78969-7\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Tatsuta08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/UnnoK08,
author = {Hiroshi Unno and
Naoki Kobayashi},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {On-Demand Refinement of Dependent Types},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {81--96},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_8},
doi = {10.1007/978-3-540-78969-7\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/UnnoK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Vidal08,
author = {Germ{\'{a}}n Vidal},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Termination of Narrowing in Left-Linear Constructor Systems},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {113--129},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_10},
doi = {10.1007/978-3-540-78969-7\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Vidal08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Voigtlander08,
author = {Janis Voigtl{\"{a}}nder},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Semantics and Pragmatics of New Shortcut Fusion Rules},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {163--179},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_13},
doi = {10.1007/978-3-540-78969-7\_13},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Voigtlander08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Yokouchi08,
author = {Hirofumi Yokouchi},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Strictness Analysis Algorithms Based on an Inequality System for Lazy
Types},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {255--271},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_19},
doi = {10.1007/978-3-540-78969-7\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Yokouchi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2008,
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7},
doi = {10.1007/978-3-540-78969-7},
isbn = {978-3-540-78968-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Avery06,
author = {James Avery},
editor = {Masami Hagiya and
Philip Wadler},
title = {Size-Change Termination and Bound Analysis},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {192--207},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_14},
doi = {10.1007/11737414\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Avery06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BartheFPR06,
author = {Gilles Barthe and
Julien Forest and
David Pichardie and
Vlad Rusu},
editor = {Masami Hagiya and
Philip Wadler},
title = {Defining and Reasoning About Recursive Functions: {A} Practical Tool
for the Coq Proof Assistant},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {114--129},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_9},
doi = {10.1007/11737414\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BartheFPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CasasCH06,
author = {Amadeo Casas and
Daniel Cabeza and
Manuel V. Hermenegildo},
editor = {Masami Hagiya and
Philip Wadler},
title = {A Syntactic Approach to Combining Functional Notation, Lazy Evaluation,
and Higher-Order in {LP} Systems},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {146--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_11},
doi = {10.1007/11737414\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CasasCH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DijkstraS06,
author = {Atze Dijkstra and
S. Doaitse Swierstra},
editor = {Masami Hagiya and
Philip Wadler},
title = {Ruler: Programming Type Rules},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {30--46},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_4},
doi = {10.1007/11737414\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DijkstraS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DiscoloHMJS06,
author = {Anthony Discolo and
Tim Harris and
Simon Marlow and
Simon L. Peyton Jones and
Satnam Singh},
editor = {Masami Hagiya and
Philip Wadler},
title = {Lock Free Data Structures Using {STM} in Haskell},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {65--80},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_6},
doi = {10.1007/11737414\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DiscoloHMJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/FindlerB06,
author = {Robert Bruce Findler and
Matthias Blume},
editor = {Masami Hagiya and
Philip Wadler},
title = {Contracts as Pairs of Projections},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {226--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_16},
doi = {10.1007/11737414\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/FindlerB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/GregoireTW06,
author = {Benjamin Gr{\'{e}}goire and
Laurent Th{\'{e}}ry and
Benjamin Werner},
editor = {Masami Hagiya and
Philip Wadler},
title = {A Computational Approach to Pocklington Certificates in Type Theory},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {97--113},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_8},
doi = {10.1007/11737414\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/GregoireTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HinzeJL06,
author = {Ralf Hinze and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {Masami Hagiya and
Philip Wadler},
title = {Typed Contracts for Functional Programming},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {208--225},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_15},
doi = {10.1007/11737414\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HinzeJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HinzeLO06,
author = {Ralf Hinze and
Andres L{\"{o}}h and
Bruno C. d. S. Oliveira},
editor = {Masami Hagiya and
Philip Wadler},
title = {"Scrap Your Boilerplate" Reloaded},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {13--29},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_3},
doi = {10.1007/11737414\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HinzeLO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/IgnatoffCK06,
author = {Daniel Ignatoff and
Gregory H. Cooper and
Shriram Krishnamurthi},
editor = {Masami Hagiya and
Philip Wadler},
title = {Crossing State Lines: Adapting Object-Oriented Frameworks to Functional
Reactive Languages},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {259--276},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_18},
doi = {10.1007/11737414\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/IgnatoffCK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LiKL06,
author = {Xuan Li and
Andy King and
Lunjin Lu},
editor = {Masami Hagiya and
Philip Wadler},
title = {Lazy Set-Sharing Analysis},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {177--191},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_13},
doi = {10.1007/11737414\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LiKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MarionP06,
author = {Jean{-}Yves Marion and
Romain P{\'{e}}choux},
editor = {Masami Hagiya and
Philip Wadler},
title = {Resource Analysis by Sup-interpretation},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {163--176},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_12},
doi = {10.1007/11737414\_12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/MarionP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PimlottK06,
author = {Andrew Pimlott and
Oleg Kiselyov},
editor = {Masami Hagiya and
Philip Wadler},
title = {Soutei, a Logic-Based Trust-Management System},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {130--145},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_10},
doi = {10.1007/11737414\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/PimlottK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PlasmeijerA06,
author = {Rinus Plasmeijer and
Peter Achten},
editor = {Masami Hagiya and
Philip Wadler},
title = {iData for the World Wide Web - Programming Interconnected Web Forms},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {242--258},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_17},
doi = {10.1007/11737414\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/PlasmeijerA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Roy06,
author = {Peter Van Roy},
editor = {Masami Hagiya and
Philip Wadler},
title = {Convergence in Language Design: {A} Case of Lightning Striking Four
Times in the Same Place},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {2--12},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_2},
doi = {10.1007/11737414\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Roy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Steele06,
author = {Guy L. Steele Jr.},
editor = {Masami Hagiya and
Philip Wadler},
title = {Parallel Programming and Parallel Abstractions in Fortress},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {1},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_1},
doi = {10.1007/11737414\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Steele06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SulzmannWS06,
author = {Martin Sulzmann and
Jeremy Wazny and
Peter J. Stuckey},
editor = {Masami Hagiya and
Philip Wadler},
title = {A Framework for Extended Algebraic Data Types},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {47--64},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_5},
doi = {10.1007/11737414\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SulzmannWS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Thiemann06,
author = {Peter Thiemann},
editor = {Masami Hagiya and
Philip Wadler},
title = {{WASH} Server Pages},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {277--293},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_19},
doi = {10.1007/11737414\_19},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Thiemann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Tozawa06,
author = {Akihiko Tozawa},
editor = {Masami Hagiya and
Philip Wadler},
title = {{XML} Type Checking Using High-Level Tree Transducer},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {81--96},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_7},
doi = {10.1007/11737414\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Tozawa06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2006,
editor = {Masami Hagiya and
Philip Wadler},
title = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414},
doi = {10.1007/11737414},
isbn = {3-540-33438-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AltenkirchU04,
author = {Thorsten Altenkirch and
Tarmo Uustalu},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Normalization by Evaluation for lambda\({}^{\mbox{-2}}\)},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {260--275},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_19},
doi = {10.1007/978-3-540-24754-8\_19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AltenkirchU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BuenoB04,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Set-Sharing Is Not Always Redundant for Pair-Sharing},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {117--131},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_10},
doi = {10.1007/978-3-540-24754-8\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BuenoB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BuenoLH04,
author = {Francisco Bueno and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Multivariant Non-failure Analysis via Standard Abstract Interpretation},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {100--116},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_9},
doi = {10.1007/978-3-540-24754-8\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BuenoLH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaballeroR04,
author = {Rafael Caballero and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {{DDT:} a Declarative Debugging Tool for Functional-Logic Languages},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {70--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_7},
doi = {10.1007/978-3-540-24754-8\_7},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaballeroR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CraigL04,
author = {Stephen{-}John Craig and
Michael Leuschel},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {{LIX:} an Effective Self-applicable Partial Evaluator for Prolog},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {85--99},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_8},
doi = {10.1007/978-3-540-24754-8\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CraigL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Escobar04,
author = {Santiago Escobar},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Implementing Natural Rewriting and Narrowing Efficiently},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {147--162},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_12},
doi = {10.1007/978-3-540-24754-8\_12},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Escobar04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Garrigue04,
author = {Jacques Garrigue},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Relaxing the Value Restriction},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {196--213},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_15},
doi = {10.1007/978-3-540-24754-8\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Garrigue04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/GluckK04,
author = {Robert Gl{\"{u}}ck and
Masahiko Kawabe},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Derivation of Deterministic Inverse Programs Based on {LR} Parsing},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {291--306},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_21},
doi = {10.1007/978-3-540-24754-8\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/GluckK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HagiyaTYS04,
author = {Masami Hagiya and
Koichi Takahashi and
Mitsuharu Yamamoto and
Takahiro Sato},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction
by Temporal Logic},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {7--21},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_2},
doi = {10.1007/978-3-540-24754-8\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HagiyaTYS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hasegawa04,
author = {Masahito Hasegawa},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Semantics of Linear Continuation-Passing in Call-by-Name},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {229--243},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_17},
doi = {10.1007/978-3-540-24754-8\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hasegawa04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hirschowitz04,
author = {Tom Hirschowitz},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Rigid Mixin Modules},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {214--228},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_16},
doi = {10.1007/978-3-540-24754-8\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hirschowitz04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/IranzoL04,
author = {Pascual Juli{\'{a}}n Iranzo and
Christian Villamizar Lamus},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Analysing Definitional Trees: Looking for Determinism},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {55--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_6},
doi = {10.1007/978-3-540-24754-8\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/IranzoL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kahl04,
author = {Wolfram Kahl},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Basic Pattern Matching Calculi: a Fresh View on Matching Failure},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {276--290},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_20},
doi = {10.1007/978-3-540-24754-8\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kahl04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kikuchi04,
author = {Kentaro Kikuchi},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {A Direct Proof of Strong Normalization for an Extended Herbelin?s
Calculus},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {244--259},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_18},
doi = {10.1007/978-3-540-24754-8\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kikuchi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LuK04,
author = {Lunjin Lu and
Andy King},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Backward Pair Sharing Analysis},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {132--146},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_11},
doi = {10.1007/978-3-540-24754-8\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LuK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Munoz-HernandezMM04,
author = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Julio Mari{\~{n}}o and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Constructive Intensional Negation},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {39--54},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_5},
doi = {10.1007/978-3-540-24754-8\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Munoz-HernandezMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ogawa04,
author = {Mizuhito Ogawa},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Complete Axiomatization of an Algebraic Construction of Graphs},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {163--179},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_13},
doi = {10.1007/978-3-540-24754-8\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ogawa04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Oostrom04,
author = {Vincent van Oostrom},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Sub-Birkhoff},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {180--195},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_14},
doi = {10.1007/978-3-540-24754-8\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Oostrom04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PemmasaniGDRR04,
author = {Giridhar Pemmasani and
Hai{-}Feng Guo and
Yifei Dong and
C. R. Ramakrishnan and
I. V. Ramakrishnan},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Online Justification for Tabled Logic Programs},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {24--38},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_4},
doi = {10.1007/978-3-540-24754-8\_4},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/PemmasaniGDRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Schurmann04,
author = {Carsten Sch{\"{u}}rmann},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Twelf and Delphin: Logic and Functional Programming in a Meta-logical
Framework},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {22--23},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_3},
doi = {10.1007/978-3-540-24754-8\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Schurmann04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Selinger04,
author = {Peter Selinger},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {A Brief Survey of Quantum Programming Languages},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {1--6},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_1},
doi = {10.1007/978-3-540-24754-8\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Selinger04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2004,
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96926},
doi = {10.1007/B96926},
isbn = {3-540-21402-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyH02,
author = {Sergio Antoy and
Michael Hanus},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Functional Logic Design Patterns},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {67--87},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_4},
doi = {10.1007/3-540-45788-7\_4},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/AntoyH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BandaDMS02,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Bart Demoen and
Kim Marriott and
Peter J. Stuckey},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {To the Gates of {HAL:} {A} {HAL} Tutorial},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {47--66},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_3},
doi = {10.1007/3-540-45788-7\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BandaDMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BarbosaO02,
author = {Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Coinductive Interpreters for Process Calculi},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {183--197},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_11},
doi = {10.1007/3-540-45788-7\_11},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BarbosaO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaballeroL02,
author = {Rafael Caballero and
Francisco Javier L{\'{o}}pez{-}Fraguas},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Dynamic-Cut with Definitional Trees},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {245--258},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_15},
doi = {10.1007/3-540-45788-7\_15},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaballeroL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DanvyS02,
author = {Olivier Danvy and
Ulrik Pagh Schultz},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Lambda-Lifting in Quadratic Time},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {134--151},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_8},
doi = {10.1007/3-540-45788-7\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DanvyS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Futatsugi02,
author = {Kokichi Futatsugi},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Formal Methods in CafeOBJ},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {1--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_1},
doi = {10.1007/3-540-45788-7\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Futatsugi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Garcia-DiazN02,
author = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
Susana Nieva},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Solving Mixed Quantified Constraints over a Domain Based on Real Numbers
and Herbrand Terms},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {103--118},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_6},
doi = {10.1007/3-540-45788-7\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Garcia-DiazN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hasegawa02,
author = {Masahito Hasegawa},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Linearly Used Effects: Monadic and {CPS} Transformations into the
Linear Lambda Calculus},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {167--182},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_10},
doi = {10.1007/3-540-45788-7\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hasegawa02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Iranzo02,
author = {Pascual Juli{\'{a}}n Iranzo},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {On the Correctness of the Factoring Transformation},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {119--133},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_7},
doi = {10.1007/3-540-45788-7\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Iranzo02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KasuyaSA02,
author = {Hideto Kasuya and
Masahiko Sakai and
Kiyoshi Agusa},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Descendants and Head Normalization of Higher-Order Rewrite Systems},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {198--211},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_12},
doi = {10.1007/3-540-45788-7\_12},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/KasuyaSA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lopez-FraguasS02,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Narrowing Failure in Functional Logic Programming},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {212--227},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_13},
doi = {10.1007/3-540-45788-7\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lopez-FraguasS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LoyerS02,
author = {Yann Loyer and
Umberto Straccia},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The Well-Founded Semantics in Normal Logic Programs with Uncertainty},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {152--166},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_9},
doi = {10.1007/3-540-45788-7\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LoyerS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Meer02,
author = {Klaus Meer},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {On Consistency and Width Notions for Constraint Programs with Algebraic
Constraints},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {88--102},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_5},
doi = {10.1007/3-540-45788-7\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Meer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PetterssonSJ02,
author = {Mikael Pettersson and
Konstantinos Sagonas and
Erik Johansson},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {228--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_14},
doi = {10.1007/3-540-45788-7\_14},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/PetterssonSJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Porto02,
author = {Ant{\'{o}}nio Porto},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Structural Abstraction and Application in Logic Programming},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {275--289},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_17},
doi = {10.1007/3-540-45788-7\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Porto02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SimeonW02,
author = {J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Philip Wadler},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The Essence of {XML} (Preliminary Version)},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {21--46},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_2},
doi = {10.1007/3-540-45788-7\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SimeonW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Smaus02,
author = {Jan{-}Georg Smaus},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The Head Condition and Polymorphic Recursion},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {259--274},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_16},
doi = {10.1007/3-540-45788-7\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Smaus02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SumiiB02,
author = {Eijiro Sumii and
Hideo Bannai},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {{VM} lambda: {A} Functional Calculusfor Scientific Discovery},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {290--304},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_18},
doi = {10.1007/3-540-45788-7\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SumiiB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2002,
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7},
doi = {10.1007/3-540-45788-7},
isbn = {3-540-44233-2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/flops/AlpuenteFMV99,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {A Transformation System for Lazy Functional Logic Programs},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {147--162},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_10},
doi = {10.1007/10705424\_10},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AlpuenteFMV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyT99,
author = {Sergio Antoy and
Andrew P. Tolmach},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Typed Higher-Order Narrowing without Higher-Order Strategies},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {335--353},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_22},
doi = {10.1007/10705424\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/AntoyT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BakewellR99,
author = {Adam Bakewell and
Colin Runciman},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Automated Generalisation of Function Definitions},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {225--240},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_15},
doi = {10.1007/10705424\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BakewellR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BartheS99,
author = {Gilles Barthe and
Bernard P. Serpette},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Partial Evaluation and Non-interference for Object Calculi},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {53--67},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_4},
doi = {10.1007/10705424\_4},
timestamp = {Tue, 15 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BartheS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BeierleM99,
author = {Christoph Beierle and
Gregor Meyer},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Using Types as Approximations for Type Checking Prolog Programs},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {251--266},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_17},
doi = {10.1007/10705424\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BeierleM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaballeroL99,
author = {Rafael Caballero and
Francisco Javier L{\'{o}}pez{-}Fraguas},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {A Functional-Logic Perspective on Parsing},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {85--99},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_6},
doi = {10.1007/10705424\_6},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaballeroL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CamaraoF99,
author = {Carlos Camar{\~{a}}o and
Luc{\'{\i}}lia Figueiredo},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Type Inference for Overloading without Restrictions, Declarations
or Annotations},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {37--52},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_3},
doi = {10.1007/10705424\_3},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CamaraoF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Chakravarty99,
author = {Manuel M. T. Chakravarty},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Lazy Lexing is Fast},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {68--84},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_5},
doi = {10.1007/10705424\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Chakravarty99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Danvy99,
author = {Olivier Danvy},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {An Extensional Characterization of Lambda-Lifting and Lambda-Dropping},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {241--250},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_16},
doi = {10.1007/10705424\_16},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Danvy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/FernandezH99,
author = {Antonio J. Fern{\'{a}}ndez and
Patricia M. Hill},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {An Interval Lattice-Based Constraint Solving Framework for Lattices},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {194--208},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_13},
doi = {10.1007/10705424\_13},
timestamp = {Thu, 18 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/FernandezH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Gonzalez-MorenoHR99,
author = {Juan Carlos Gonz{\'{a}}lez Moreno and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Semantics and Types in Functional Logic Programming},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {1--20},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_1},
doi = {10.1007/10705424\_1},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Gonzalez-MorenoHR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HanusL99,
author = {Michael Hanus and
Salvador Lucas},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {A Semantics for Program Analysis in Narrowing-Based Functional Logic
Languages},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {353--368},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_23},
doi = {10.1007/10705424\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HanusL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hinze99,
author = {Ralf Hinze},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Polytypic Programming With Ease (Extended Abstract)},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {21--36},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_2},
doi = {10.1007/10705424\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hinze99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/JohnsonRRR99,
author = {Ernie Johnson and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Prasad Rao},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {A Space Efficient Engine for Subsumption-Based Tabled Evaluation of
Logic Programs},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {284--300},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_19},
doi = {10.1007/10705424\_19},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/JohnsonRRR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Kuhnemann99,
author = {Armin K{\"{u}}hnemann},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Comparison of Deforestation Techniques for Functional Programs and
for Tree Transducers},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {114--130},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_8},
doi = {10.1007/10705424\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Kuhnemann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lux99,
author = {Wolfgang Lux},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Implementing Encapsulated Search for a Lazy Functional Logic Language},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {100--113},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_7},
doi = {10.1007/10705424\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lux99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MarinIS99,
author = {Mircea Marin and
Tetsuo Ida and
Taro Suzuki},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {On Reducing the Search Space of Higher-Order Lazy Narrowing},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {319--334},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_21},
doi = {10.1007/10705424\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MarinIS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MoorS99,
author = {Oege de Moor and
Ganesh Sittampalam},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Higher Order Matching for Program Transformation},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {209--224},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_14},
doi = {10.1007/10705424\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MoorS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ogawa99,
author = {Mizuhito Ogawa},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Automatic Verification Based on Abstract Interpretation},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {131--146},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_9},
doi = {10.1007/10705424\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ogawa99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ohlebusch99,
author = {Enno Ohlebusch},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional
Rewrite Systems},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {179--193},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_12},
doi = {10.1007/10705424\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ohlebusch99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ohori99,
author = {Atsushi Ohori},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {The Logical Abstract Machine: {A} Curry-Howard Isomorphism for Machine
Code},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {300--318},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_20},
doi = {10.1007/10705424\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ohori99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/RidouxBM99,
author = {Olivier Ridoux and
Patrice Boizumault and
Fr{\'{e}}d{\'{e}}ric Mal{\'{e}}sieux},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Typed Static Analysis: Application to Groundness Analysis of {PROLOG}
and lambda-PROLOG},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {267--283},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_18},
doi = {10.1007/10705424\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/RidouxBM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/VerbaetenS99,
author = {Sofie Verbaeten and
Danny De Schreye},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Termination Analysis of Tabled Logic Programs Using Mode and Type
Information},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {163--178},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_11},
doi = {10.1007/10705424\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/VerbaetenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/1999,
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424},
doi = {10.1007/10705424},
isbn = {3-540-66677-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AbramovG98,
author = {Sergei M. Abramov and
Robert Gl{\"{u}}ck},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Semantics Modifiers: An Approach to Non-Standard Semantics of Programming
Languages},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {247--270},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 10:47:11 +0200},
biburl = {https://dblp.org/rec/conf/flops/AbramovG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BorovanskyKK98,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {A Functional View of Rewriting and Strategies for a Semantics of {ELAN}},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {143--166},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BorovanskyKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ChakravartyGK98,
author = {Manuel M. T. Chakravarty and
Yike Guo and
Martin K{\"{o}}hler},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Distributed Haskell: Goffin on the Internet},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {80--97},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/ChakravartyGK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CurienH98,
author = {Pierre{-}Louis Curien and
Hugo Herbelin},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Computing with Abstract B{\"{o}}hm Trees},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {20--39},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CurienH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Danvy98,
author = {Olivier Danvy},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Online Type-Directed Partial Evaluation},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {271--295},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Danvy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hinze98,
author = {Ralf Hinze},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Prological Features in a Functional Setting Axioms and Implementation},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {98--122},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Hinze98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/IshikawaWFMN98,
author = {Hiroshi Ishikawa and
Takuo Watanabe and
Kokichi Futatsugi and
Jos{\'{e}} Meseguer and
Hideyuki Nakashima},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {On the Semantics of {GAEA}},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {123--142},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/IshikawaWFMN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/IwasakiHT98,
author = {Hideya Iwasaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Towards Manipulation of Mutually Recursive Functions},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {61--79},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/IwasakiHT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LedererD98,
author = {Edgar F. A. Lederer and
Romeo A. Dumitrescu},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Two-Stage Programming},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {296--313},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LedererD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Miyoshi98,
author = {Hiroyuki Miyoshi},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Rewriting Logic for Cyclic Sharing Structures (extended abstract)},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {167--186},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Miyoshi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Nedjah98,
author = {Nadia Nedjah},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Postponing Redex Contractions in Equational Programs},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {40--60},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Nedjah98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Sakurai98,
author = {Takafumi Sakurai},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Categorial Model Construction for Proving Syntactic Properties},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {187--206},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Sakurai98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Takahashi98,
author = {Masako Takahashi},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Lambda-representable Functions over Free Structures Revisited},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {1--19},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Takahashi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Takeuti98,
author = {Izumi Takeuti},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {A Type Theory for Cyclic Strcture},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {207--226},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Takeuti98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Tsukada98,
author = {Yasuyuki Tsukada},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Type-free Equational Reasoning in the Theeory of Inductively Defined
Types},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {227--246},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Tsukada98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/1998,
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
publisher = {World Scientific, Singapore},
year = {1998},
isbn = {981-02-3384-1},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/1998.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-10-22 06:49 CEST 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:
