Search dblp for Publications

export results for "toc:db/conf/ifip2-1/ifip2-1-1993.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ifip2-1/BackhouseH93,
  author       = {Roland Carl Backhouse and
                  Paul F. Hoogendijk},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Elements of a Relational Theory of Datatypes},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {7--42},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_15},
  doi          = {10.1007/3-540-57499-9\_15},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/BackhouseH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/BirdM93,
  author       = {Richard S. Bird and
                  Oege de Moor},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {From Dynamic Programming to Greedy Algorithms},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {43--61},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_16},
  doi          = {10.1007/3-540-57499-9\_16},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/BirdM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/BoyleH93,
  author       = {James M. Boyle and
                  Terence J. Harmer},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Practical Transformation of Functional Programs for Efficient Execution:
                  {A} Case Study},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {62--88},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_17},
  doi          = {10.1007/3-540-57499-9\_17},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/BoyleH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/Feather93,
  author       = {Martin S. Feather},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Behavior-Oriented Specification in Gist},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {89--122},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_18},
  doi          = {10.1007/3-540-57499-9\_18},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/Feather93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/Moller93,
  author       = {Bernhard M{\"{o}}ller},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Derivation of Graph and Pointer Algorithms},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {123--160},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_19},
  doi          = {10.1007/3-540-57499-9\_19},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/Moller93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/MollerPS93,
  author       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Introduction},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {1--6},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_14},
  doi          = {10.1007/3-540-57499-9\_14},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/MollerPS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/Morgan93,
  author       = {Carroll Morgan},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {The Refinement Calculus, and Literate Development},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {161--182},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_20},
  doi          = {10.1007/3-540-57499-9\_20},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/Morgan93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/Partsch93,
  author       = {Helmuth Partsch},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Formal Problem Specification on an Algebraic Basis},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {183--224},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_21},
  doi          = {10.1007/3-540-57499-9\_21},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/Partsch93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/Pepper93,
  author       = {Peter Pepper},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Program Development in an Algebraic Setting},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {225--262},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_22},
  doi          = {10.1007/3-540-57499-9\_22},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/Pepper93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/PettorossiP93,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Rules and Strategies for Program Transformation},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {263--304},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_23},
  doi          = {10.1007/3-540-57499-9\_23},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/PettorossiP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/Sintzoff93,
  author       = {Michel Sintzoff},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Endomorphic Typing},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {305--323},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_24},
  doi          = {10.1007/3-540-57499-9\_24},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/Sintzoff93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/Smith93,
  author       = {Douglas R. Smith},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Automating the Design of Algorithm},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {324--354},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_25},
  doi          = {10.1007/3-540-57499-9\_25},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/Smith93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2-1/SwierstraM93,
  author       = {S. Doaitse Swierstra and
                  Oege de Moor},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Virtual Data Structures},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {355--371},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_26},
  doi          = {10.1007/3-540-57499-9\_26},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/SwierstraM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ifip2-1/1993,
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9},
  doi          = {10.1007/3-540-57499-9},
  isbn         = {3-540-57499-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/1993.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.