Search dblp for Publications

export results for "stream:streams/conf/phoenix:"

 download as .bib file

@proceedings{DBLP:conf/phoenix/1991,
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8},
  doi          = {10.1007/978-1-4471-3794-8},
  isbn         = {3-540-19735-4},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/CheongF91,
  author       = {P. H. Cheong and
                  Laurent Fribourg},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {A Survey of the Implementations of Narrowing},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {177--187},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_12},
  doi          = {10.1007/978-1-4471-3794-8\_12},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/CheongF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/CorsiniM91,
  author       = {Marc{-}Michel Corsini and
                  Kaninda Musumbu},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Failure Analysis Based on Abstract Interpretation},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {295--309},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_19},
  doi          = {10.1007/978-1-4471-3794-8\_19},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/CorsiniM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/DarlingtonGP91,
  author       = {John Darlington and
                  Yike Guo and
                  Helen Pull},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {A Design Space for Integrating Declarative Languages},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_1},
  doi          = {10.1007/978-1-4471-3794-8\_1},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/DarlingtonGP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/DarlingtonGP91a,
  author       = {John Darlington and
                  Yike Guo and
                  Helen Pull},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Introducing Constraint Functional Logic Programming},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {20--34},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_2},
  doi          = {10.1007/978-1-4471-3794-8\_2},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/DarlingtonGP91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/Dietrich91,
  author       = {Roland Dietrich},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {How to Use Guarded Functional Programming},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {35--50},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_3},
  doi          = {10.1007/978-1-4471-3794-8\_3},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/Dietrich91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/DrossopoulouPE91,
  author       = {Sophia Drossopoulou and
                  Ross Paterson and
                  Susan Eisenbach},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Parameterized Interfaces are Interfaces - {AIAS}},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {133--147},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_9},
  doi          = {10.1007/978-1-4471-3794-8\_9},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/DrossopoulouPE91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/Graham91,
  author       = {T. C. Nicholas Graham},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Temporal Constraint Functional Programming: {A} Declarative Framework
                  for Concurrency and Interaction},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {83--100},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_6},
  doi          = {10.1007/978-1-4471-3794-8\_6},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/Graham91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/KagedalK91,
  author       = {Andreas K{\aa}gedal and
                  Feliks Kluzniak},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Enriching Prolog with S-Unification},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_4},
  doi          = {10.1007/978-1-4471-3794-8\_4},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/KagedalK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/KorslootT91,
  author       = {Mark Korsloot and
                  Evan Tick},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Sequentializing Parallel Programs},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {310--324},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_20},
  doi          = {10.1007/978-1-4471-3794-8\_20},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/KorslootT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/LangendoenV91,
  author       = {Koen Langendoen and
                  Willem G. Vree},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Eight Queens Divided: an Experience in Parallel Functional Programming},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {101--115},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_7},
  doi          = {10.1007/978-1-4471-3794-8\_7},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/LangendoenV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/LauferO91,
  author       = {Konstantin L{\"{a}}ufer and
                  Martin Odersky},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Type Classes are Signatures of Abstract Types},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {148--162},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_10},
  doi          = {10.1007/978-1-4471-3794-8\_10},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/LauferO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/Lock91,
  author       = {Hendrik C. R. Lock},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {A Systematic Method for Designing Abstract Narrowing Machines},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {188--203},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_13},
  doi          = {10.1007/978-1-4471-3794-8\_13},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/Lock91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/Meijer91,
  author       = {Erik Meijer},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {More Advice on Proving a Compiler Correct: Improve a Correct Compiler},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {255--273},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_17},
  doi          = {10.1007/978-1-4471-3794-8\_17},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/Meijer91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/MonteiroP91,
  author       = {Lu{\'{\i}}s Monteiro and
                  Ant{\'{o}}nio Porto},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Syntactic and Semantic Inheritance in Logic Programming},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {163--173},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_11},
  doi          = {10.1007/978-1-4471-3794-8\_11},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/MonteiroP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/Olsson91,
  author       = {Roland Olsson},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Some Algorithms for Fast and Complete Execution of Logic Programs},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {204--223},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_14},
  doi          = {10.1007/978-1-4471-3794-8\_14},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/Olsson91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/ParrottC91,
  author       = {David Parrott and
                  Chris D. Clack},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {A Common Graphical Form},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {224--238},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_15},
  doi          = {10.1007/978-1-4471-3794-8\_15},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/ParrottC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/Paterson91,
  author       = {Ross Paterson},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {A Tiny Functional Language with Logical Features},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {66--79},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_5},
  doi          = {10.1007/978-1-4471-3794-8\_5},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/Paterson91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/SchulteG91,
  author       = {Wolfram Schulte and
                  Wolfgang Grieskamp},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Generating Efficient Portable Code for a Strict Applicative Language},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {239--252},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_16},
  doi          = {10.1007/978-1-4471-3794-8\_16},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/SchulteG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/VerdenG91,
  author       = {Andrew Roy Verden and
                  Hugh Glaser},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Intelligent Backtracking in And-Parallel Prolog},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {116--130},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_8},
  doi          = {10.1007/978-1-4471-3794-8\_8},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/VerdenG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/phoenix/Voermans91,
  author       = {Ed Voermans},
  editor       = {John Darlington and
                  Roland Dietrich},
  title        = {Pers as Types, Inductive Types and Types with Laws},
  booktitle    = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
                  Workshop on Declarative Programming, Sasbachwalden, Black Forest,
                  Germany, 18-22 November 1991},
  series       = {Workshops in Computing},
  pages        = {274--291},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3794-8\_18},
  doi          = {10.1007/978-1-4471-3794-8\_18},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/phoenix/Voermans91.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.