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/flops99.bht:"
download as .bib file
@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, 21 May 2017 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}
}
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-05-28 06:28 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:
