Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/mpc/Abel06,
  author       = {Andreas Abel},
  editor       = {Tarmo Uustalu},
  title        = {Towards Generic Programming with Sized Types},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {10--28},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_4},
  doi          = {10.1007/11783596\_4},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Abel06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Aboul-HosnK06,
  author       = {Kamal Aboul{-}Hosn and
                  Dexter Kozen},
  editor       = {Tarmo Uustalu},
  title        = {Relational Semantics for Higher-Order Programs},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {29--48},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_5},
  doi          = {10.1007/11783596\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Aboul-HosnK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/AudebaudP06,
  author       = {Philippe Audebaud and
                  Christine Paulin{-}Mohring},
  editor       = {Tarmo Uustalu},
  title        = {Proofs of Randomized Algorithms in Coq},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {49--68},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_6},
  doi          = {10.1007/11783596\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/AudebaudP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/AvgustinovBHMOSST06,
  author       = {Pavel Avgustinov and
                  Eric Bodden and
                  Elnar Hajiyev and
                  Oege de Moor and
                  Neil Ongkingco and
                  Damien Sereni and
                  Ganesh Sittampalam and
                  Julian Tibble},
  editor       = {Tarmo Uustalu},
  title        = {Aspects and Data Refinement},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {5--9},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_3},
  doi          = {10.1007/11783596\_3},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/AvgustinovBHMOSST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/BackhouseM06,
  author       = {Roland Carl Backhouse and
                  Diethard Michaelis},
  editor       = {Tarmo Uustalu},
  title        = {Exercises in Quantifier Manipulation},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {69--81},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_7},
  doi          = {10.1007/11783596\_7},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/BackhouseM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Bird06,
  author       = {Richard S. Bird},
  editor       = {Tarmo Uustalu},
  title        = {Improving Saddleback Search: {A} Lesson in Algorithm Design},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {82--89},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_8},
  doi          = {10.1007/11783596\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Bird06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Bird06a,
  author       = {Richard S. Bird},
  editor       = {Tarmo Uustalu},
  title        = {Loopless Functional Algorithms},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {90--114},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_9},
  doi          = {10.1007/11783596\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Bird06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/ChenS06,
  author       = {Yifeng Chen and
                  Jeff W. Sanders},
  editor       = {Tarmo Uustalu},
  title        = {Compositional Reasoning for Pointer Structures},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {115--139},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_10},
  doi          = {10.1007/11783596\_10},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/ChenS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Cockett06,
  author       = {J. Robin B. Cockett},
  editor       = {Tarmo Uustalu},
  title        = {What Is a Good Process Semantics?},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_1},
  doi          = {10.1007/11783596\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Cockett06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Danvy06,
  author       = {Olivier Danvy},
  editor       = {Tarmo Uustalu},
  title        = {Refunctionalization at Work},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {4},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_2},
  doi          = {10.1007/11783596\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Danvy06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/DongolM06,
  author       = {Brijesh Dongol and
                  Arjan J. Mooij},
  editor       = {Tarmo Uustalu},
  title        = {Progress in Deriving Concurrent Programs: Emphasizing the Role of
                  Stable Guards},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {140--161},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_11},
  doi          = {10.1007/11783596\_11},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/DongolM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Gibbons06,
  author       = {Jeremy Gibbons},
  editor       = {Tarmo Uustalu},
  title        = {Fission for Program Comprehension},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {162--179},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_12},
  doi          = {10.1007/11783596\_12},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Gibbons06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/HinzeL06,
  author       = {Ralf Hinze and
                  Andres L{\"{o}}h},
  editor       = {Tarmo Uustalu},
  title        = {"Scrap Your Boilerplate" Revolutions},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {180--208},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_13},
  doi          = {10.1007/11783596\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HinzeL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/HoldermansJLR06,
  author       = {Stefan Holdermans and
                  Johan Jeuring and
                  Andres L{\"{o}}h and
                  Alexey Rodriguez},
  editor       = {Tarmo Uustalu},
  title        = {Generic Views on Data Types},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {209--234},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_14},
  doi          = {10.1007/11783596\_14},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HoldermansJLR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/KabanovV06,
  author       = {Jevgeni Kabanov and
                  Varmo Vene},
  editor       = {Tarmo Uustalu},
  title        = {Recursion Schemes for Dynamic Programming},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {235--252},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_15},
  doi          = {10.1007/11783596\_15},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/KabanovV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/KahlCJ06,
  author       = {Wolfram Kahl and
                  Jacques Carette and
                  Xiaoheng Ji},
  editor       = {Tarmo Uustalu},
  title        = {Bimonadic Semantics for Basic Pattern Matching Calculi},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {253--273},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_16},
  doi          = {10.1007/11783596\_16},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/KahlCJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/MartinC06,
  author       = {Clare E. Martin and
                  Sharon A. Curtis},
  editor       = {Tarmo Uustalu},
  title        = {Nondeterministic Folds},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {274--298},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_17},
  doi          = {10.1007/11783596\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/MartinC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Matthes06,
  author       = {Ralph Matthes},
  editor       = {Tarmo Uustalu},
  title        = {A Datastructure for Iterated Powers},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {299--315},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_18},
  doi          = {10.1007/11783596\_18},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Matthes06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/MeinickeH06,
  author       = {Larissa Meinicke and
                  Ian J. Hayes},
  editor       = {Tarmo Uustalu},
  title        = {Continuous Action System Refinement},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {316--337},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_19},
  doi          = {10.1007/11783596\_19},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/MeinickeH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Moller06,
  author       = {Bernhard M{\"{o}}ller},
  editor       = {Tarmo Uustalu},
  title        = {The Linear Algebra of {UTP}},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {338--358},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_20},
  doi          = {10.1007/11783596\_20},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Moller06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Morgan06,
  author       = {Carroll Morgan},
  editor       = {Tarmo Uustalu},
  title        = {\emph{The Shadow Knows: } Refinement of Ignorance in Sequential Programs},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {359--378},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_21},
  doi          = {10.1007/11783596\_21},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Morgan06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/MorihataKHT06,
  author       = {Akimasa Morihata and
                  Kazuhiko Kakehi and
                  Zhenjiang Hu and
                  Masato Takeichi},
  editor       = {Tarmo Uustalu},
  title        = {Swapping Arguments and Results of Recursive Functions},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {379--396},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_22},
  doi          = {10.1007/11783596\_22},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/MorihataKHT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/SolinW06,
  author       = {Kim Solin and
                  Joakim von Wright},
  editor       = {Tarmo Uustalu},
  title        = {Refinement Algebra with Operators for Enabledness and Termination},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {397--415},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_23},
  doi          = {10.1007/11783596\_23},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/SolinW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Struth06,
  author       = {Georg Struth},
  editor       = {Tarmo Uustalu},
  title        = {Constructing Rewrite-Based Decision Procedures for Embeddings and
                  Termination},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {416--432},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_24},
  doi          = {10.1007/11783596\_24},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Struth06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/TafliovichH06,
  author       = {Anya Tafliovich and
                  Eric C. R. Hehner},
  editor       = {Tarmo Uustalu},
  title        = {Quantum Predicative Programming},
  booktitle    = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  pages        = {433--454},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596\_25},
  doi          = {10.1007/11783596\_25},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/TafliovichH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mpc/2006,
  editor       = {Tarmo Uustalu},
  title        = {Mathematics of Program Construction, 8th International Conference,
                  {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4014},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11783596},
  doi          = {10.1007/11783596},
  isbn         = {3-540-35631-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/2006.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.