Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/flops/flops2008.bht:"
download as .bib file
@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}
}
a service of 
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-04-18 12:17 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:
