Search dblp for Publications

export results for "toc:db/conf/mpc/mpc2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/mpc/BackhouseB02,
  author       = {Kevin Backhouse and
                  Roland Carl Backhouse},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Logical Relations and Galois Connections},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {23--39},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_4},
  doi          = {10.1007/3-540-45442-X\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/BackhouseB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Duran02,
  author       = {Juan Eduardo Dur{\'{a}}n},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Transformational Derivation of Greedy Network Algorithms from Descriptive
                  Specifications},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {40--67},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_5},
  doi          = {10.1007/3-540-45442-X\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Duran02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/GiegerichS02,
  author       = {Robert Giegerich and
                  Peter Steffen},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Implementing Algebraic Dynamic Programming in the Functional and the
                  Imperative Programming Paradigm},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_1},
  doi          = {10.1007/3-540-45442-X\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/GiegerichS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/HarrisonSH02,
  author       = {William L. Harrison and
                  Tim Sheard and
                  James Hook},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Fine Control of Demand in Haskell},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {68--93},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_6},
  doi          = {10.1007/3-540-45442-X\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HarrisonSH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Hayes02,
  author       = {Ian J. Hayes},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Reasoning about Timeouts},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {94--116},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_7},
  doi          = {10.1007/3-540-45442-X\_7},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hayes02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Hesselink02,
  author       = {Wim H. Hesselink},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Eternity Variables to Simulate Specifications},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {117--130},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_8},
  doi          = {10.1007/3-540-45442-X\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hesselink02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Hinze02,
  author       = {Ralf Hinze},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Constructing Tournament Representations: An Exercise in Pointwise
                  Relational Programming},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {131--147},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_9},
  doi          = {10.1007/3-540-45442-X\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/HinzeJL02,
  author       = {Ralf Hinze and
                  Johan Jeuring and
                  Andres L{\"{o}}h},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Type-Indexed Data Types},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {148--174},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_10},
  doi          = {10.1007/3-540-45442-X\_10},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HinzeJL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Huisman02,
  author       = {Marieke Huisman},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Verification of Java's AbstractCollection Class: {A} Case Study},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {175--194},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_11},
  doi          = {10.1007/3-540-45442-X\_11},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Huisman02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Kozen02,
  author       = {Dexter Kozen},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Some Results in Dynamic Model Theory},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {21},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_2},
  doi          = {10.1007/3-540-45442-X\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Kozen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/LiuY02,
  author       = {Yanhong A. Liu and
                  Fuxiang Yu},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Solving Regular Path Queries},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {195--208},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_12},
  doi          = {10.1007/3-540-45442-X\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/LiuY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/MuB02,
  author       = {Shin{-}Cheng Mu and
                  Richard S. Bird},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Inverting Functions as Folds},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {209--232},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_13},
  doi          = {10.1007/3-540-45442-X\_13},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/MuB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Wing02,
  author       = {Jeannette M. Wing},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Mathematics in Computer Science Curricula},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {22},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_3},
  doi          = {10.1007/3-540-45442-X\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Wing02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Wright02,
  author       = {Joakim von Wright},
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {From Kleene Algebra to Refinement Algebra},
  booktitle    = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  pages        = {233--262},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X\_14},
  doi          = {10.1007/3-540-45442-X\_14},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Wright02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mpc/2002,
  editor       = {Eerke A. Boiten and
                  Bernhard M{\"{o}}ller},
  title        = {Mathematics of Program Construction, 6th International Conference,
                  {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2386},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45442-X},
  doi          = {10.1007/3-540-45442-X},
  isbn         = {3-540-43857-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/2002.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.