Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/flops/flops2008.bht:"
@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, 21 May 2017 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, 21 May 2017 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} }
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.