Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/mpc/AbramovG00,
  author       = {Sergei M. Abramov and
                  Robert Gl{\"{u}}ck},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {The Universal Resolving Algorithm: Inverse Computation in a Functional
                  Language},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {187--212},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_13},
  doi          = {10.1007/10722010\_13},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/AbramovG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/BoitenD00,
  author       = {Eerke A. Boiten and
                  John Derrick},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Liberating Data Refinement},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {144--166},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_11},
  doi          = {10.1007/10722010\_11},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/BoitenD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Bornat00,
  author       = {Richard Bornat},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Proving Pointer Programs in Hoare Logic},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {102--126},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_8},
  doi          = {10.1007/10722010\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Bornat00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/CharpentierC00,
  author       = {Michel Charpentier and
                  K. Mani Chandy},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Theorems about Composition},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {167--186},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_12},
  doi          = {10.1007/10722010\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/CharpentierC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Cohen00,
  author       = {Ernie Cohen},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Separation and Reduction},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {45--59},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_4},
  doi          = {10.1007/10722010\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Cohen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/HarrisonK00,
  author       = {William L. Harrison and
                  Samuel N. Kamin},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Metacomputation-Based Compiler Architecture},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {213--229},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_14},
  doi          = {10.1007/10722010\_14},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HarrisonK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Hayes00,
  author       = {Ian J. Hayes},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Reasoning about Non-terminating Loops Using Deadline Commands},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {60--79},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_5},
  doi          = {10.1007/10722010\_5},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hayes00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Hinze00,
  author       = {Ralf Hinze},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Polytypic Values Possess Polykinded Types},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {2--27},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_2},
  doi          = {10.1007/10722010\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Hinze00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Jones00,
  author       = {Mark P. Jones},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Integrating Programming, Properties, and Validation},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {1},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_1},
  doi          = {10.1007/10722010\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Jones00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Jones00a,
  author       = {Cliff B. Jones},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Formal Methods and Dependability},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {140--143},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_10},
  doi          = {10.1007/10722010\_10},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Jones00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/PittsG00,
  author       = {Andrew M. Pitts and
                  Murdoch Gabbay},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {A Metalanguage for Programming with Bound Names Modulo Renaming},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {230--255},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_15},
  doi          = {10.1007/10722010\_15},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/PittsG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Rutten00,
  author       = {Jan J. M. M. Rutten},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Regular Expressions Revisited: {A} Coinductive Approach to Streams,
                  Automata, and Power Series},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {100--101},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_7},
  doi          = {10.1007/10722010\_7},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Rutten00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/SandersZ00,
  author       = {Jeff W. Sanders and
                  Paolo Zuliani},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Quantum Programming},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {80--99},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_6},
  doi          = {10.1007/10722010\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/SandersZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Sekerinski00,
  author       = {Emil Sekerinski},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {On Guarded Commands with Fair Choice},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {127--139},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_9},
  doi          = {10.1007/10722010\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Sekerinski00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Tullsen00,
  author       = {Mark Tullsen},
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {The Zip Calculus},
  booktitle    = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {28--44},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010\_3},
  doi          = {10.1007/10722010\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Tullsen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mpc/2000,
  editor       = {Roland Carl Backhouse and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Mathematics of Program Construction, 5th International Conference,
                  {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722010},
  doi          = {10.1007/10722010},
  isbn         = {3-540-67727-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/2000.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.