Search dblp for Publications

export results for "toc:db/conf/flops/flops2018.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.