default search action
Search dblp for Publications
export results for "toc:db/conf/phoenix/phoenix1991.bht:"
@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} }
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.