default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/mpc:"
download as .bib file
@inproceedings{DBLP:conf/mpc/GibbonsKSW22,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
editor = {Ekaterina Komendantskaya},
title = {Breadth-First Traversal via Staging},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {1--33},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_1},
doi = {10.1007/978-3-031-16912-0\_1},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/GibbonsKSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HewerH22,
author = {Brandon Hewer and
Graham Hutton},
editor = {Ekaterina Komendantskaya},
title = {Subtyping Without Reduction},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {34--61},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_2},
doi = {10.1007/978-3-031-16912-0\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/HewerH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HinzeS22,
author = {Ralf Hinze and
Wouter Swierstra},
editor = {Ekaterina Komendantskaya},
title = {Calculating Datastructures},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {62--101},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_3},
doi = {10.1007/978-3-031-16912-0\_3},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HinzeS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/McDermottU22,
author = {Dylan McDermott and
Tarmo Uustalu},
editor = {Ekaterina Komendantskaya},
title = {Flexibly Graded Monads and Graded Algebras},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {102--128},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_4},
doi = {10.1007/978-3-031-16912-0\_4},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/McDermottU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/NguyenW22,
author = {Minh Nguyen and
Nicolas Wu},
editor = {Ekaterina Komendantskaya},
title = {Folding over Neural Networks},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {129--150},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_5},
doi = {10.1007/978-3-031-16912-0\_5},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/NguyenW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SaitoA22,
author = {Ayumu Saito and
Reynald Affeldt},
editor = {Ekaterina Komendantskaya},
title = {Towards a Practical Library for Monadic Equational Reasoning in Coq},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {151--177},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_6},
doi = {10.1007/978-3-031-16912-0\_6},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SaitoA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SulzmannW22,
author = {Martin Sulzmann and
Stefan Wehr},
editor = {Ekaterina Komendantskaya},
title = {Semantic Preservation for a Type Directed Translation Scheme of Featherweight
Go},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {178--197},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_7},
doi = {10.1007/978-3-031-16912-0\_7},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SulzmannW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/VeltriV22,
author = {Niccol{\`{o}} Veltri and
Niels F. W. Voorneveld},
editor = {Ekaterina Komendantskaya},
title = {Streams of Approximations, Equivalence of Recursive Effectful Programs},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {198--221},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_8},
doi = {10.1007/978-3-031-16912-0\_8},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/VeltriV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/YangW22,
author = {Zhixuan Yang and
Nicolas Wu},
editor = {Ekaterina Komendantskaya},
title = {Fantastic Morphisms and Where to Find Them - {A} Guide to Recursion
Schemes},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {222--267},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_9},
doi = {10.1007/978-3-031-16912-0\_9},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/YangW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2022,
editor = {Ekaterina Komendantskaya},
title = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0},
doi = {10.1007/978-3-031-16912-0},
isbn = {978-3-031-16911-3},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AffeldtNS19,
author = {Reynald Affeldt and
David Nowak and
Takafumi Saikawa},
editor = {Graham Hutton},
title = {A Hierarchy of Monadic Effects for Program Verification Using Equational
Reasoning},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {226--254},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_9},
doi = {10.1007/978-3-030-33636-3\_9},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/AffeldtNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AltenkirchBKT19,
author = {Thorsten Altenkirch and
Simon Boulier and
Ambrus Kaposi and
Nicolas Tabareau},
editor = {Graham Hutton},
title = {Setoid Type Theory - {A} Syntactic Translation},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {155--196},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_7},
doi = {10.1007/978-3-030-33636-3\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AltenkirchBKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Backhouse19,
author = {Roland Carl Backhouse},
editor = {Graham Hutton},
title = {An Analysis of Repeated Graph Search},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {298--328},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_11},
doi = {10.1007/978-3-030-33636-3\_11},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Backhouse19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BirdR19,
author = {Richard S. Bird and
Florian Rabe},
editor = {Graham Hutton},
title = {How to Calculate with Nondeterministic Functions},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {138--154},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_6},
doi = {10.1007/978-3-030-33636-3\_6},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BirdR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/ChapmanKNW19,
author = {James Chapman and
Roman Kireev and
Chad Nester and
Philip Wadler},
editor = {Graham Hutton},
title = {System {F} in Agda, for Fun and Profit},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {255--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_10},
doi = {10.1007/978-3-030-33636-3\_10},
timestamp = {Sat, 18 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/ChapmanKNW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolHMS19,
author = {Brijesh Dongol and
Ian J. Hayes and
Larissa Meinicke and
Georg Struth},
editor = {Graham Hutton},
title = {Cylindric Kleene Lattices for Program Construction},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {197--225},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_8},
doi = {10.1007/978-3-030-33636-3\_8},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/DongolHMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons19,
author = {Jeremy Gibbons},
editor = {Graham Hutton},
title = {Coding with Asymmetric Numeral Systems},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {444--465},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_16},
doi = {10.1007/978-3-030-33636-3\_16},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze19,
author = {Ralf Hinze},
editor = {Graham Hutton},
title = {Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic
Finite Automata},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {103--137},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_5},
doi = {10.1007/978-3-030-33636-3\_5},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Hinze19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/JonesGKMNW19,
author = {Michael Peyton Jones and
Vasilis Gkoumas and
Roman Kireev and
Kenneth MacKenzie and
Chad Nester and
Philip Wadler},
editor = {Graham Hutton},
title = {Unraveling Recursion: Compiling an {IR} with Recursion to System {F}},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {414--443},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_15},
doi = {10.1007/978-3-030-33636-3\_15},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/JonesGKMNW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KaarsgaardV19,
author = {Robin Kaarsgaard and
Niccol{\`{o}} Veltri},
editor = {Graham Hutton},
title = {En Garde! Unguarded Iteration for Reversible Computation in the Delay
Monad},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {366--384},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_13},
doi = {10.1007/978-3-030-33636-3\_13},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/KaarsgaardV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KaposiKK19,
author = {Ambrus Kaposi and
Andr{\'{a}}s Kov{\'{a}}cs and
Nicolai Kraus},
editor = {Graham Hutton},
title = {Shallow Embedding of Type Theory is Morally Correct},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {329--365},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_12},
doi = {10.1007/978-3-030-33636-3\_12},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/KaposiKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Larchey-Wendling19,
author = {Dominique Larchey{-}Wendling and
Ralph Matthes},
editor = {Graham Hutton},
title = {Certification of Breadth-First Algorithms by Extraction},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {45--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_3},
doi = {10.1007/978-3-030-33636-3\_3},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Larchey-Wendling19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/McIver19,
author = {Annabelle McIver},
editor = {Graham Hutton},
title = {Experiments in Information Flow Analysis},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {1--17},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_1},
doi = {10.1007/978-3-030-33636-3\_1},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/McIver19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PauwelsSM19,
author = {Koen Pauwels and
Tom Schrijvers and
Shin{-}Cheng Mu},
editor = {Graham Hutton},
title = {Handling Local State with Global State},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {18--44},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_2},
doi = {10.1007/978-3-030-33636-3\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/PauwelsSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/StolarekC19,
author = {Jan Stolarek and
James Cheney},
editor = {Graham Hutton},
title = {Verified Self-Explaining Computation},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {76--102},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_4},
doi = {10.1007/978-3-030-33636-3\_4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/StolarekC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WagemakerBKR019,
author = {Jana Wagemaker and
Marcello M. Bonsangue and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Alexandra Silva},
editor = {Graham Hutton},
title = {Completeness and Incompleteness of Synchronous Kleene Algebra},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {385--413},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_14},
doi = {10.1007/978-3-030-33636-3\_14},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/WagemakerBKR019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2019,
editor = {Graham Hutton},
title = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3},
doi = {10.1007/978-3-030-33636-3},
isbn = {978-3-030-33635-6},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Abou-SalehCGMS15,
author = {Faris Abou{-}Saleh and
James Cheney and
Jeremy Gibbons and
James McKinna and
Perdita Stevens},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Notions of Bidirectional Computation and Entangled State Monads},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {187--214},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_9},
doi = {10.1007/978-3-319-19797-5\_9},
timestamp = {Sun, 06 Oct 2024 21:12:06 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bahr15,
author = {Patrick Bahr},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Calculating Certified Compilers for Non-deterministic Languages},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {159--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_8},
doi = {10.1007/978-3-319-19797-5\_8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Bahr15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Berghammer15,
author = {Rudolf Berghammer},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Column-Wise Extendible Vector Expressions and the Relational Computation
of Sets of Sets},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {238--256},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_12},
doi = {10.1007/978-3-319-19797-5\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Berghammer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BerghammerG15,
author = {Rudolf Berghammer and
Walter Guttmann},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {A Relation-Algebraic Approach to Multirelations and Predicate Transformers},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {50--70},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_3},
doi = {10.1007/978-3-319-19797-5\_3},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BerghammerG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolGS15,
author = {Brijesh Dongol and
Victor B. F. Gomes and
Georg Struth},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {A Program Construction and Verification Tool for Separation Logic},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {137--158},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_7},
doi = {10.1007/978-3-319-19797-5\_7},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DongolGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FischerHP15,
author = {Sebastian Fischer and
Zhenjiang Hu and
Hugo Pacheco},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {A Clear Picture of Lens Laws - Functional Pearl},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {215--223},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_10},
doi = {10.1007/978-3-319-19797-5\_10},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/FischerHP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KokkeS15,
author = {Pepijn Kokke and
Wouter Swierstra},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Auto in Agda - Programming Proof Search Using Reflection},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {276--301},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_14},
doi = {10.1007/978-3-319-19797-5\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/KokkeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MagalhaesL15,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Andres L{\"{o}}h},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Hierarchy in Generic Programming Libraries},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {93--112},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_5},
doi = {10.1007/978-3-319-19797-5\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MagalhaesL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/McBride15,
author = {Conor McBride},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Turing-Completeness Totally Free},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {257--275},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_13},
doi = {10.1007/978-3-319-19797-5\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/McBride15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MollerH15,
author = {Bernhard M{\"{o}}ller and
Tony Hoare},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Exploring an Interface Model for {CKA}},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {1--29},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_1},
doi = {10.1007/978-3-319-19797-5\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MollerH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PiponiY15,
author = {Dan Piponi and
Brent A. Yorgey},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Polynomial Functors Constrained by Regular Expressions},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {113--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_6},
doi = {10.1007/978-3-319-19797-5\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/PiponiY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Roocks15,
author = {Patrick Roocks},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Preference Decomposition and the Expressiveness of Preference Query
Languages},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {71--92},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_4},
doi = {10.1007/978-3-319-19797-5\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Roocks15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SalamancaBBCR15,
author = {Julian Salamanca and
Adolfo Ballester{-}Bolinches and
Marcello M. Bonsangue and
Enric Cosme{-}Ll{\'{o}}pez and
Jan J. M. M. Rutten},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Regular Varieties of Automata and Coequations},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {224--237},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_11},
doi = {10.1007/978-3-319-19797-5\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SalamancaBBCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Staden15,
author = {Stephan van Staden},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {On Rely-Guarantee Reasoning},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {30--49},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_2},
doi = {10.1007/978-3-319-19797-5\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Staden15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WuS15,
author = {Nicolas Wu and
Tom Schrijvers},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Fusion for Free - Efficient Algebraic Effect Handlers},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {302--322},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_15},
doi = {10.1007/978-3-319-19797-5\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/WuS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2015,
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5},
doi = {10.1007/978-3-319-19797-5},
isbn = {978-3-319-19796-8},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/ArmstrongFS12,
author = {Alasdair Armstrong and
Simon Foster and
Georg Struth},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Dependently Typed Programming Based on Automated Theorem Proving},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {220--240},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_12},
doi = {10.1007/978-3-642-31113-0\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/ArmstrongFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Backhouse12,
author = {Roland Carl Backhouse},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {First-Past-the-Post Games},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {157--176},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_9},
doi = {10.1007/978-3-642-31113-0\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Backhouse12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bahr12,
author = {Patrick Bahr},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Modular Tree Automata},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {263--299},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_14},
doi = {10.1007/978-3-642-31113-0\_14},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Bahr12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BartheGB12,
author = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Santiago Zanella B{\'{e}}guelin},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Probabilistic Relational Hoare Logics for Computer-Aided Security
Proofs},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {1--6},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_1},
doi = {10.1007/978-3-642-31113-0\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BartheGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DangM12,
author = {Han{-}Hing Dang and
Bernhard M{\"{o}}ller},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Reverse Exchange for Concurrency and Local Reasoning},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {177--197},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_10},
doi = {10.1007/978-3-642-31113-0\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DangM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolH12,
author = {Brijesh Dongol and
Ian J. Hayes},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Deriving Real-Time Action Systems Controllers from Multiscale System
Specifications},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {102--131},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_7},
doi = {10.1007/978-3-642-31113-0\_7},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DongolH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Ghica12,
author = {Dan R. Ghica},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {The Geometry of Synthesis - How to Make Hardware Out of Software},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {23--24},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_3},
doi = {10.1007/978-3-642-31113-0\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Ghica12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Guttmann12,
author = {Walter Guttmann},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Unifying Correctness Statements},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {198--219},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_11},
doi = {10.1007/978-3-642-31113-0\_11},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Guttmann12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze12,
author = {Ralf Hinze},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Kan Extensions for Program Optimisation Or: Art and Dan Explain an
Old Trick},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {324--362},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_16},
doi = {10.1007/978-3-642-31113-0\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hinze12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HoareS12,
author = {Tony Hoare and
Stephan van Staden},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {The Laws of Programming Unify Process Calculi},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {7--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_2},
doi = {10.1007/978-3-642-31113-0\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HoareS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LuxMP12,
author = {Alexander Lux and
Heiko Mantel and
Matthias Perner},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Scheduler-Independent Declassification},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {25--47},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_4},
doi = {10.1007/978-3-642-31113-0\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/LuxMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MandelP12,
author = {Louis Mandel and
Florence Plateau},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of
Ultimately Periodic Clocks in Lucy-n},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {74--101},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_6},
doi = {10.1007/978-3-642-31113-0\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MandelP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MollerRE12,
author = {Bernhard M{\"{o}}ller and
Patrick Roocks and
Markus Endres},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {An Algebraic Calculus of Database Preferences},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {241--262},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_13},
doi = {10.1007/978-3-642-31113-0\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MollerRE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Morgan12,
author = {Carroll Morgan},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Elementary Probability Theory in the Eindhoven Style},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {48--73},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_5},
doi = {10.1007/978-3-642-31113-0\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Morgan12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Paterson12,
author = {Ross Paterson},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Constructing Applicative Functors},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {300--323},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_15},
doi = {10.1007/978-3-642-31113-0\_15},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Paterson12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SergeyMC12,
author = {Ilya Sergey and
Jan Midtgaard and
Dave Clarke},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Calculating Graph Algorithms for Dominance and Shortest Path},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {132--156},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_8},
doi = {10.1007/978-3-642-31113-0\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/SergeyMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2012,
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0},
doi = {10.1007/978-3-642-31113-0},
isbn = {978-3-642-31112-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseCF10,
author = {Roland Carl Backhouse and
Wei Chen and
Jo{\~{a}}o F. Ferreira},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {The Algorithmics of Solitaire-Like Games},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {1--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_1},
doi = {10.1007/978-3-642-13321-3\_1},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BerghammerS10,
author = {Rudolf Berghammer and
Georg Struth},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {On Automated Program Construction and Verification},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {22--41},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_4},
doi = {10.1007/978-3-642-13321-3\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BerghammerS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BoitenG10,
author = {Eerke A. Boiten and
Dan Grundy},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {The Logic of Large Enough},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {42--57},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_5},
doi = {10.1007/978-3-642-13321-3\_5},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BoitenG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BrinkHL10,
author = {Kasper Brink and
Stefan Holdermans and
Andres L{\"{o}}h},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Dependently Typed Grammars},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {58--79},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_6},
doi = {10.1007/978-3-642-13321-3\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BrinkHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/ChenS10,
author = {Yifeng Chen and
Jeff W. Sanders},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Abstraction of Object Graphs in Program Verification},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {80--99},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_7},
doi = {10.1007/978-3-642-13321-3\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/ChenS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DanielssonA10,
author = {Nils Anders Danielsson and
Thorsten Altenkirch},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Subtyping, Declaratively},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {100--118},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_8},
doi = {10.1007/978-3-642-13321-3\_8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DanielssonA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DongolH10,
author = {Brijesh Dongol and
Ian J. Hayes},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Compositional Action System Derivation Using Enforced Properties},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {119--139},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_9},
doi = {10.1007/978-3-642-13321-3\_9},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DongolH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Ferreira10,
author = {Jo{\~{a}}o F. Ferreira},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Designing an Algorithmic Proof of the Two-Squares Theorem},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {140--156},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_10},
doi = {10.1007/978-3-642-13321-3\_10},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Ferreira10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Guttmann10,
author = {Walter Guttmann},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Partial, Total and General Correctness},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {157--177},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_11},
doi = {10.1007/978-3-642-13321-3\_11},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Guttmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HayesDM10,
author = {Ian J. Hayes and
Steve Dunne and
Larissa Meinicke},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Unifying Theories of Programming That Distinguish Nontermination and
Abort},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {178--194},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_12},
doi = {10.1007/978-3-642-13321-3\_12},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HayesDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hillston10,
author = {Jane Hillston},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Process Algebras for Collective Dynamics},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {20--21},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_3},
doi = {10.1007/978-3-642-13321-3\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hillston10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze10,
author = {Ralf Hinze},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Adjoint Folds and Unfolds},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {195--228},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_13},
doi = {10.1007/978-3-642-13321-3\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hinze10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Kosiuczenko10,
author = {Piotr Kosiuczenko},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {An Abstract Machine for the Old Value Retrieval},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {229--247},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_14},
doi = {10.1007/978-3-642-13321-3\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Kosiuczenko10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LlorensOST10,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {A Tracking Semantics for {CSP}},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {248--270},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_15},
doi = {10.1007/978-3-642-13321-3\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/LlorensOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MacedoO10,
author = {Hugo Daniel Macedo and
Jos{\'{e}} Nuno Oliveira},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Matrices as Arrows!},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {271--287},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_16},
doi = {10.1007/978-3-642-13321-3\_16},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MacedoO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MandelPP10,
author = {Louis Mandel and
Florence Plateau and
Marc Pouzet},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Lucy-n: a n-Synchronous Extension of Lustre},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {288--309},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_17},
doi = {10.1007/978-3-642-13321-3\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MandelPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/NiquiR10,
author = {Milad Niqui and
Jan J. M. M. Rutten},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Sampling, Splitting and Merging in Coinductive Stream Calculus},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {310--330},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_18},
doi = {10.1007/978-3-642-13321-3\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/NiquiR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PachecoC10,
author = {Hugo Pacheco and
Alcino Cunha},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Generic Point-free Lenses},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {331--352},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_19},
doi = {10.1007/978-3-642-13321-3\_19},
timestamp = {Mon, 01 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/PachecoC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Palamidessi10,
author = {Catuscia Palamidessi},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Compositionality of Secure Information Flow},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {19},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_2},
doi = {10.1007/978-3-642-13321-3\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Palamidessi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PavlovicPS10,
author = {Dusko Pavlovic and
Peter Pepper and
Douglas R. Smith},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Formal Derivation of Concurrent Garbage Collectors},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {353--376},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_20},
doi = {10.1007/978-3-642-13321-3\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/PavlovicPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/TofanBSR10,
author = {Bogdan Tofan and
Simon B{\"{a}}umler and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Temporal Logic Verification of Lock-Freedom},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {377--396},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_21},
doi = {10.1007/978-3-642-13321-3\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/TofanBSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WangGMH10,
author = {Meng Wang and
Jeremy Gibbons and
Kazutaka Matsuda and
Zhenjiang Hu},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Gradual Refinement},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {397--425},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_22},
doi = {10.1007/978-3-642-13321-3\_22},
timestamp = {Sun, 17 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/WangGMH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2010,
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3},
doi = {10.1007/978-3-642-13321-3},
isbn = {978-3-642-13320-6},
timestamp = {Sat, 16 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AbelCD08,
author = {Andreas Abel and
Thierry Coquand and
Peter Dybjer},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Verifying a Semantic beta-eta-Conversion Test for Martin-L{\"{o}}f
Type Theory},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {29--56},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_4},
doi = {10.1007/978-3-540-70594-9\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AbelCD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Backhouse08,
author = {Roland Carl Backhouse},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {The Capacity-CTorch Problem},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {57--78},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_5},
doi = {10.1007/978-3-540-70594-9\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Backhouse08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseF08,
author = {Roland Carl Backhouse and
Jo{\~{a}}o F. Ferreira},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Recounting the Rationals: Twice!},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {79--91},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_6},
doi = {10.1007/978-3-540-70594-9\_6},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bird08,
author = {Richard S. Bird},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Zippy Tabulations of Recursive Functions},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {92--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_7},
doi = {10.1007/978-3-540-70594-9\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bird08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DesharnaisS08,
author = {Jules Desharnais and
Georg Struth},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Modal Semirings Revisited},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {360--387},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_19},
doi = {10.1007/978-3-540-70594-9\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DesharnaisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons08,
author = {Jeremy Gibbons},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Unfolding Abstract Datatypes},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {110--133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_8},
doi = {10.1007/978-3-540-70594-9\_8},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GluckM08,
author = {Roland Gl{\"{u}}ck and
Bernhard M{\"{o}}ller},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Circulations, Fuzzy Relations and Semirings},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {134--152},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_9},
doi = {10.1007/978-3-540-70594-9\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/GluckM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HarrisonAGP08,
author = {William L. Harrison and
Gerard Allwein and
Andy Gill and
Adam M. Procter},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Asynchronous Exceptions as an Effect},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {153--176},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_10},
doi = {10.1007/978-3-540-70594-9\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HarrisonAGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze08,
author = {Ralf Hinze},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Exploiting Unique Fixed Points},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {1},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_1},
doi = {10.1007/978-3-540-70594-9\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hinze08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/JayJ08,
author = {Barry Jay and
Simon L. Peyton Jones},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Scrap Your Type Applications},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {2--27},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_2},
doi = {10.1007/978-3-540-70594-9\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/JayJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KozenT08,
author = {Dexter Kozen and
Wei{-}Lung Dustin Tseng},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {The B{\"{o}}hm-Jacopini Theorem Is False, Propositionally},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {177--192},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_11},
doi = {10.1007/978-3-540-70594-9\_11},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/KozenT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LammelR08,
author = {Ralf L{\"{a}}mmel and
Ondrej Rypacek},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {The Expression Lemma},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {193--219},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_12},
doi = {10.1007/978-3-540-70594-9\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/LammelR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Matthes08,
author = {Ralph Matthes},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Nested Datatypes with Generalized Mendler Iteration: Map Fusion and
the Example of the Representation of Untyped Lambda Calculus with
Explicit Flattening},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {220--242},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_13},
doi = {10.1007/978-3-540-70594-9\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Matthes08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MeinickeH08,
author = {Larissa Meinicke and
Ian J. Hayes},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Probabilistic Choice in Refinement Algebra},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {243--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_14},
doi = {10.1007/978-3-540-70594-9\_14},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MeinickeH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Morrisett08,
author = {Greg Morrisett},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Programming with Effects in Coq},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {28},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_3},
doi = {10.1007/978-3-540-70594-9\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Morrisett08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuKJ08,
author = {Shin{-}Cheng Mu and
Hsiang{-}Shang Ko and
Patrik Jansson},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Algebra of Programming Using Dependent Types},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {268--283},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_15},
doi = {10.1007/978-3-540-70594-9\_15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuKJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Nishimura08,
author = {Susumu Nishimura},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Safe Modification of Pointer Programs in Refinement Calculus},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {284--304},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_16},
doi = {10.1007/978-3-540-70594-9\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Nishimura08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Regis-GianasP08,
author = {Yann R{\'{e}}gis{-}Gianas and
Fran{\c{c}}ois Pottier},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {A Hoare Logic for Call-by-Value Functional Programs},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {305--335},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_17},
doi = {10.1007/978-3-540-70594-9\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Regis-GianasP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Sintzoff08,
author = {Michel Sintzoff},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Synthesis of Optimal Control Policies for Some Infinite-State Transition
Systems},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {336--359},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_18},
doi = {10.1007/978-3-540-70594-9\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Sintzoff08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Voigtlander08,
author = {Janis Voigtl{\"{a}}nder},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Asymptotic Improvement of Computations over Free Monads},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {388--403},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_20},
doi = {10.1007/978-3-540-70594-9\_20},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Voigtlander08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Witzel08,
author = {Andreas Witzel},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Symmetric and Synchronous Communication in Peer-to-Peer Networks},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {404--421},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_21},
doi = {10.1007/978-3-540-70594-9\_21},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Witzel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2008,
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9},
doi = {10.1007/978-3-540-70594-9},
isbn = {978-3-540-70593-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sun, 04 Aug 2024 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 Aug 2024 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}
}
@inproceedings{DBLP:conf/mpc/AbbottAGM04,
author = {Michael Gordon Abbott and
Thorsten Altenkirch and
Neil Ghani and
Conor McBride},
editor = {Dexter Kozen and
Carron Shankland},
title = {Constructing Polymorphic Programs with Quotient Types},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {2--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_2},
doi = {10.1007/978-3-540-27764-4\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AbbottAGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AlimarineS04,
author = {Artem Alimarine and
Sjaak Smetsers},
editor = {Dexter Kozen and
Carron Shankland},
title = {Optimizing Generic Functions},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {16--31},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_3},
doi = {10.1007/978-3-540-27764-4\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AlimarineS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AtanassowJ04,
author = {Frank Atanassow and
Johan Jeuring},
editor = {Dexter Kozen and
Carron Shankland},
title = {Inferring Type Isomorphisms Generically},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {32--53},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_4},
doi = {10.1007/978-3-540-27764-4\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AtanassowJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BarnettN04,
author = {Michael Barnett and
David A. Naumann},
editor = {Dexter Kozen and
Carron Shankland},
title = {Friends Need a Bit More: Maintaining Invariants Over Shared State},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {54--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_5},
doi = {10.1007/978-3-540-27764-4\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BarnettN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DanielssonJ04,
author = {Nils Anders Danielsson and
Patrik Jansson},
editor = {Dexter Kozen and
Carron Shankland},
title = {Chasing Bottoms: {A} Case Study in Program Verification in the Presence
of Partial and Infinite Values},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {85--109},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_6},
doi = {10.1007/978-3-540-27764-4\_6},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DanielssonJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FernandesD04,
author = {Therrezinha Fernandes and
Jules Desharnais},
editor = {Dexter Kozen and
Carron Shankland},
title = {Describing Gen/Kill Static Analysis Techniques with Kleene Algebra},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {110--128},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_7},
doi = {10.1007/978-3-540-27764-4\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/FernandesD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Furusawa04,
author = {Hitoshi Furusawa},
editor = {Dexter Kozen and
Carron Shankland},
title = {A Free Construction of Kleene Algebras with Tests},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {129--141},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_8},
doi = {10.1007/978-3-540-27764-4\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Furusawa04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons04,
author = {Jeremy Gibbons},
editor = {Dexter Kozen and
Carron Shankland},
title = {Streaming Representation-Changers},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {142--168},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_9},
doi = {10.1007/978-3-540-27764-4\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hehner04,
author = {Eric C. R. Hehner},
editor = {Dexter Kozen and
Carron Shankland},
title = {Probabilistic Predicative Programming},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {169--185},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_10},
doi = {10.1007/978-3-540-27764-4\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hehner04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze04,
author = {Ralf Hinze},
editor = {Dexter Kozen and
Carron Shankland},
title = {An Algebra of Scans},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {186--210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_11},
doi = {10.1007/978-3-540-27764-4\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hinze04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HuttonW04,
author = {Graham Hutton and
Joel J. Wright},
editor = {Dexter Kozen and
Carron Shankland},
title = {Compiling Exceptions Correctly},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {211--227},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_12},
doi = {10.1007/978-3-540-27764-4\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/HuttonW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MartinCR04,
author = {Clare E. Martin and
Sharon A. Curtis and
Ingrid Rewitzky},
editor = {Dexter Kozen and
Carron Shankland},
title = {Modelling Nondeterminism},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {228--251},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_13},
doi = {10.1007/978-3-540-27764-4\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MartinCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Moller04,
author = {Bernhard M{\"{o}}ller},
editor = {Dexter Kozen and
Carron Shankland},
title = {Lazy Kleene Algebra},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {252--273},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_14},
doi = {10.1007/978-3-540-27764-4\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Moller04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Morris04,
author = {Joseph M. Morris},
editor = {Dexter Kozen and
Carron Shankland},
title = {Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {274--288},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_15},
doi = {10.1007/978-3-540-27764-4\_15},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Morris04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuHT04,
author = {Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Dexter Kozen and
Carron Shankland},
title = {An Injective Language for Reversible Computation},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {289--313},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_16},
doi = {10.1007/978-3-540-27764-4\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Nelson04,
author = {Greg Nelson},
editor = {Dexter Kozen and
Carron Shankland},
title = {Extended Static Checking for Java},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {1},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_1},
doi = {10.1007/978-3-540-27764-4\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Nelson04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/NorellJ04,
author = {Ulf Norell and
Patrik Jansson},
editor = {Dexter Kozen and
Carron Shankland},
title = {Prototyping Generic Programming in Template Haskell},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {314--333},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_17},
doi = {10.1007/978-3-540-27764-4\_17},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/NorellJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/OliveiraR04,
author = {Jos{\'{e}} Nuno Oliveira and
C{\'{e}}sar de Jesus Pereira Cunha Rodrigues},
editor = {Dexter Kozen and
Carron Shankland},
title = {Transposing Relations: From Maybe Functions to Hash Tables},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {334--356},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_18},
doi = {10.1007/978-3-540-27764-4\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/OliveiraR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Schieder04,
author = {Birgit Schieder},
editor = {Dexter Kozen and
Carron Shankland},
title = {Pointer Theory and Weakest Preconditions without Addresses and Heap},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {357--380},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_19},
doi = {10.1007/978-3-540-27764-4\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Schieder04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/TangW04,
author = {Xinbei Tang and
Jim Woodcock},
editor = {Dexter Kozen and
Carron Shankland},
title = {Travelling Processes},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {381--399},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_20},
doi = {10.1007/978-3-540-27764-4\_20},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/TangW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2004,
editor = {Dexter Kozen and
Carron Shankland},
title = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98756},
doi = {10.1007/B98756},
isbn = {3-540-22380-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/mpc/BerghammerKW98,
author = {Rudolf Berghammer and
Burghard von Karger and
Andreas Wolf},
editor = {Johan Jeuring},
title = {Relation-Algebraic Derivation of Spanning Tree Algorithms},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {23--43},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054283},
doi = {10.1007/BFB0054283},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BerghammerKW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bijlsma98,
author = {A. Bijlsma},
editor = {Johan Jeuring},
title = {An Application of Program Derivation Techniques to 18th-Century Mathematics},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {44--51},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054284},
doi = {10.1007/BFB0054284},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bijlsma98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BirdM98,
author = {Richard S. Bird and
Lambert G. L. T. Meertens},
editor = {Johan Jeuring},
title = {Nested Datatypes},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {52--67},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054285},
doi = {10.1007/BFB0054285},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BirdM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BonsangueKS98,
author = {Marcello M. Bonsangue and
Joost N. Kok and
Kaisa Sere},
editor = {Johan Jeuring},
title = {An Approach to Object-Orientation in Action Systems},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {68--95},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054286},
doi = {10.1007/BFB0054286},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BonsangueKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BrunnMR98,
author = {Thomas Brunn and
Bernhard M{\"{o}}ller and
Martin Russling},
editor = {Johan Jeuring},
title = {Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic
Approach},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {96--121},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054287},
doi = {10.1007/BFB0054287},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BrunnMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DierksS98,
author = {Henning Dierks and
Michael Schenke},
editor = {Johan Jeuring},
title = {A Unifying Framework for Correct Program Construction},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {122--150},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054288},
doi = {10.1007/BFB0054288},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DierksS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Dijkstra98,
author = {Rutger M. Dijkstra},
editor = {Johan Jeuring},
title = {Computation Calculus - Bridging a Formalization Gap},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {151--174},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054289},
doi = {10.1007/BFB0054289},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Dijkstra98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FeijenGS98,
author = {W. H. J. Feijen and
A. J. M. van Gasteren and
Birgit Schieder},
editor = {Johan Jeuring},
title = {An Elementary Derivation of the Alternating Bit Protocol},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {175--187},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054290},
doi = {10.1007/BFB0054290},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/FeijenGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FidgeHMW98,
author = {Colin J. Fidge and
Ian J. Hayes and
Andrew P. Martin and
Axel Wabenhorst},
editor = {Johan Jeuring},
title = {A Set-Theoretic Model for Real-Time Specification and Reasoning},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {188--206},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054291},
doi = {10.1007/BFB0054291},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/FidgeHMW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons98,
author = {Jeremy Gibbons},
editor = {Johan Jeuring},
title = {Polytypic Downwards Accumulations},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {207--233},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054292},
doi = {10.1007/BFB0054292},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Harel98,
author = {David Harel},
editor = {Johan Jeuring},
title = {On the Aesthetics of Diagrams (Summary of Talk)},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {1--5},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054280},
doi = {10.1007/BFB0054280},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Harel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hughes98,
author = {John Hughes},
editor = {Johan Jeuring},
title = {Generalising Monads (Abstract)},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {6},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054281},
doi = {10.1007/BFB0054281},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Hughes98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Josephs98,
author = {Mark B. Josephs},
editor = {Johan Jeuring},
title = {Formal Derivation of a Loadable Asynchronous Counter},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {234--253},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054293},
doi = {10.1007/BFB0054293},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Josephs98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Karger98,
author = {Burghard von Karger},
editor = {Johan Jeuring},
title = {A Proof Rule for Control Loops},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {7--22},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054282},
doi = {10.1007/BFB0054282},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Karger98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LeinoJ98,
author = {K. Rustan M. Leino and
Rajeev Joshi},
editor = {Johan Jeuring},
title = {A Semantic Approach to Secure Information Flow},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {254--271},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054294},
doi = {10.1007/BFB0054294},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/LeinoJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/ManoharM98,
author = {Rajit Manohar and
Alain J. Martin},
editor = {Johan Jeuring},
title = {Slack Elasticity in Concurrent Computing},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {272--285},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054295},
doi = {10.1007/BFB0054295},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/ManoharM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Naumann98,
author = {David A. Naumann},
editor = {Johan Jeuring},
title = {Beyond Fun: Order and Membership in Polytypic Imperative Programming},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {286--314},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054296},
doi = {10.1007/BFB0054296},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Naumann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Sorensen98,
author = {Morten Heine S{\o}rensen},
editor = {Johan Jeuring},
title = {Convergence of Program Transformers in the Metric Space of Trees},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {315--337},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054297},
doi = {10.1007/BFB0054297},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Sorensen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Tatsuta98,
author = {Makoto Tatsuta},
editor = {Johan Jeuring},
title = {Realizability of Monotone Coinductive Definitions and Its Application
to Program Synthesis},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {338--364},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054298},
doi = {10.1007/BFB0054298},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Tatsuta98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/VaccariB98,
author = {Matteo Vaccari and
Roland Carl Backhouse},
editor = {Johan Jeuring},
title = {Calculating a Round-Robin Scheduler},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {365--382},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054299},
doi = {10.1007/BFB0054299},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/VaccariB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1998,
editor = {Johan Jeuring},
title = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054279},
doi = {10.1007/BFB0054279},
isbn = {3-540-64591-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Abdallah95,
author = {Ali E. Abdallah},
editor = {Bernhard M{\"{o}}ller},
title = {Derivation of Parallel Algorithms from Functional Specifications to
{CSP} Processes},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {67--96},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_6},
doi = {10.1007/3-540-60117-1\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Abdallah95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AchatzS95,
author = {Klaus Achatz and
Wolfram Schulte},
editor = {Bernhard M{\"{o}}ller},
title = {Architecture Independent Massive Parallelization of Divide-and-Conquer
Algorithms},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {97--127},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_7},
doi = {10.1007/3-540-60117-1\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AchatzS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Apt95,
author = {Krzysztof R. Apt},
editor = {Bernhard M{\"{o}}ller},
title = {Towards Automatic Parallelization of Logic Programs (Abstract)},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {1},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_1},
doi = {10.1007/3-540-60117-1\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Apt95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackB95,
author = {Ralph{-}Johan Back and
Michael J. Butler},
editor = {Bernhard M{\"{o}}ller},
title = {Exploring Summation and Product Operators in the Refinement Calculus},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {128--158},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_8},
doi = {10.1007/3-540-60117-1\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackMS95,
author = {Ralph{-}Johan Back and
Alain J. Martin and
Kaisa Sere},
editor = {Bernhard M{\"{o}}ller},
title = {An Action System Specification of the Caltech Asynchronous Microprocessor},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {159--179},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_9},
doi = {10.1007/3-540-60117-1\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BerghammerK95,
author = {Rudolf Berghammer and
Burghard von Karger},
editor = {Bernhard M{\"{o}}ller},
title = {Formal Derivation of {CSP} Programs From Temporal Specifications},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {181--196},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_10},
doi = {10.1007/3-540-60117-1\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BerghammerK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bird95,
author = {Richard S. Bird},
editor = {Bernhard M{\"{o}}ller},
title = {Functional Algorithm Design},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {2--17},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_2},
doi = {10.1007/3-540-60117-1\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bird95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BoerH95,
author = {Frank S. de Boer and
M. van Hulst},
editor = {Bernhard M{\"{o}}ller},
title = {A Compositional Proof System for Asynchronously Communicating Processes},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {197--213},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_11},
doi = {10.1007/3-540-60117-1\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BoerH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Broy95,
author = {Manfred Broy},
editor = {Bernhard M{\"{o}}ller},
title = {Mathematics of Software Engineering},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {18--48},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_3},
doi = {10.1007/3-540-60117-1\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Broy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Coquand95,
author = {Thierry Coquand},
editor = {Bernhard M{\"{o}}ller},
title = {Program Construction in Intuitionistic Type Theory (Abstract)},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {49},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_4},
doi = {10.1007/3-540-60117-1\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Coquand95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/CurtisL95,
author = {Sharon Curtis and
Gavin Lowe},
editor = {Bernhard M{\"{o}}ller},
title = {A Graphical Calculus},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {214--231},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_12},
doi = {10.1007/3-540-60117-1\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/CurtisL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DielissenK95,
author = {Victor J. Dielissen and
Anne Kaldewaij},
editor = {Bernhard M{\"{o}}ller},
title = {A Simple, Efficient, and Flexible Implementation of Flexible Arrays},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {232--241},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_13},
doi = {10.1007/3-540-60117-1\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DielissenK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DoornbosB95,
author = {Henk Doornbos and
Roland Carl Backhouse},
editor = {Bernhard M{\"{o}}ller},
title = {Induction and Recursion on Datatypes},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {242--256},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_14},
doi = {10.1007/3-540-60117-1\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DoornbosB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FrappierMD95,
author = {Marc Frappier and
Ali Mili and
Jules Desharnais},
editor = {Bernhard M{\"{o}}ller},
title = {Program Construction by Parts},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {257--281},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_15},
doi = {10.1007/3-540-60117-1\_15},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/FrappierMD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons95,
author = {Jeremy Gibbons},
editor = {Bernhard M{\"{o}}ller},
title = {An Initial-Algebra Approach to Directed Acyclic Graphs},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {282--303},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_16},
doi = {10.1007/3-540-60117-1\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GroenboomHPTU95,
author = {Rix Groenboom and
Chris Hendriks and
Indra Polak and
Jan Terlouw and
Jan Tijmen Udding},
editor = {Bernhard M{\"{o}}ller},
title = {Algebraic Proof Assistants in {HOL}},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {304--321},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_17},
doi = {10.1007/3-540-60117-1\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/GroenboomHPTU95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hesselink95,
author = {Wim H. Hesselink},
editor = {Bernhard M{\"{o}}ller},
title = {Angelic Termination in Dijkstra's Calculus},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {322--334},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_18},
doi = {10.1007/3-540-60117-1\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hesselink95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Monin95,
author = {Jean{-}Fran{\c{c}}ois Monin},
editor = {Bernhard M{\"{o}}ller},
title = {Extracting Programs with Exceptions in an Impredicative Type System},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {335--350},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_19},
doi = {10.1007/3-540-60117-1\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Monin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Parent95,
author = {Catherine Parent},
editor = {Bernhard M{\"{o}}ller},
title = {Synthesizing Proofs from Programs in the Calculus of Inductive Constructions},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {351--379},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_20},
doi = {10.1007/3-540-60117-1\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Parent95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Russling95,
author = {Martin Russling},
editor = {Bernhard M{\"{o}}ller},
title = {A General Scheme for Breadth-First Graph Traversal},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {380--398},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_21},
doi = {10.1007/3-540-60117-1\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Russling95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Shankar95,
author = {Natarajan Shankar},
editor = {Bernhard M{\"{o}}ller},
title = {Computer-Aided Computing},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {50--66},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_5},
doi = {10.1007/3-540-60117-1\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Shankar95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SrinivasJ95,
author = {Yellamraju V. Srinivas and
Richard J{\"{u}}llig},
editor = {Bernhard M{\"{o}}ller},
title = {Specware: Formal Support for Composing Software},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {399--422},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_22},
doi = {10.1007/3-540-60117-1\_22},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SrinivasJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Stolen95,
author = {Ketil St{\o}len},
editor = {Bernhard M{\"{o}}ller},
title = {A Refinement Relation Supporting the Transition from Unbounded to
Bounded Communication Buffers},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {423--451},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_23},
doi = {10.1007/3-540-60117-1\_23},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Stolen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/UdinkK95,
author = {Rob T. Udink and
Joost N. Kok},
editor = {Bernhard M{\"{o}}ller},
title = {ImpUNITY: {UNITY} with Procedures and Local Variables},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {452--472},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_24},
doi = {10.1007/3-540-60117-1\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/UdinkK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1995,
editor = {Bernhard M{\"{o}}ller},
title = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1},
doi = {10.1007/3-540-60117-1},
isbn = {3-540-60117-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1992,
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56625-2},
doi = {10.1007/3-540-56625-2},
isbn = {3-540-56625-2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Augusteijn92,
author = {Lex Augusteijn},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {An Alternative Derivation of a Binary Heap Construction Function},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {368--374},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_23},
doi = {10.1007/3-540-56625-2\_23},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Augusteijn92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseG92,
author = {Roland Carl Backhouse and
A. J. M. van Gasteren},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Calculating a Path Algorithm},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {32--44},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_6},
doi = {10.1007/3-540-56625-2\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BirdM92,
author = {Richard S. Bird and
Oege de Moor},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Solving Optimisation Problems with Catamorphism},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {45--66},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_7},
doi = {10.1007/3-540-56625-2\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BirdM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Brien92,
author = {S. M. Brien},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {A Time-Interval Calculus},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {67--79},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_8},
doi = {10.1007/3-540-56625-2\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Brien92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Burstall92,
author = {Rod M. Burstall},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Extended Calculus of Constructions as a Specification Language (Abstract)},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {1},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_1},
doi = {10.1007/3-540-56625-2\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Burstall92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Dijkstra92,
author = {Edsger W. Dijkstra},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {On the Economy of doing Mathematics},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {2--10},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_2},
doi = {10.1007/3-540-56625-2\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Dijkstra92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Eijnde92,
author = {J. P. H. W. van den Eijnde},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Conservative Fixpoint Functions on a Graph},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {80--99},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_9},
doi = {10.1007/3-540-56625-2\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Eijnde92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GardinerMM92,
author = {Paul H. B. Gardiner and
Clare E. Martin and
Oege de Moor},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {An Algebraic Construction of Predicate Transformers},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {100--121},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_10},
doi = {10.1007/3-540-56625-2\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/GardinerMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons92,
author = {Jeremy Gibbons},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Upwards and Downwards Accumulations on Trees},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {122--138},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_11},
doi = {10.1007/3-540-56625-2\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hofstee92,
author = {H. Peter Hofstee},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Distributing a Class of Sequential Programs},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {139--162},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_12},
doi = {10.1007/3-540-56625-2\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hofstee92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hoogendijk92,
author = {Paul F. Hoogendijk},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {(Relational) Programming Laws in the Boom Hierarchy of Types},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {163--190},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_13},
doi = {10.1007/3-540-56625-2\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hoogendijk92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hoogerwoord92,
author = {Rob R. Hoogerwoord},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {A Logarithmic Implementation of Flexible Arrays},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {191--207},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_14},
doi = {10.1007/3-540-56625-2\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hoogerwoord92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hoogerwoord92a,
author = {Rob R. Hoogerwoord},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {A Derivation of Huffman's Algorithm},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {375--378},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_24},
doi = {10.1007/3-540-56625-2\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hoogerwoord92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hughes92,
author = {John Hughes},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Pretty-printing: An Exercise in Functional Programming},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {11--13},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_3},
doi = {10.1007/3-540-56625-2\_3},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Hughes92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/JonesS92,
author = {Geraint Jones and
Mary Sheeran},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Designing Arithmetic Circuits by Refinement in Ruby},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {208--232},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_15},
doi = {10.1007/3-540-56625-2\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/JonesS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Lukkien92,
author = {Johan J. Lukkien},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {An Operational Semantics for the Guarded Command Language},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {233--249},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_16},
doi = {10.1007/3-540-56625-2\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Lukkien92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MollerR92,
author = {Bernhard M{\"{o}}ller and
Martin Russling},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Shorter Paths to Graph Algorithms},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {250--268},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_17},
doi = {10.1007/3-540-56625-2\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MollerR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Montanari92,
author = {Ugo Montanari},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {True Concurrency: Theory and Practice},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {14--17},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_4},
doi = {10.1007/3-540-56625-2\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Montanari92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/NorvellH92,
author = {Theodore S. Norvell and
Eric C. R. Hehner},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Logical Specifications for Functional Programs},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {269--290},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_18},
doi = {10.1007/3-540-56625-2\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/NorvellH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Schoenmakers92,
author = {Berry Schoenmakers},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Inorder Traversal of a Binary Heap and its Inversion in Optimal Time
and Space},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {291--301},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_19},
doi = {10.1007/3-540-56625-2\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Schoenmakers92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Sekerinski92,
author = {Emil Sekerinski},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {A Calculus for Predicative Programming},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {302--322},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_20},
doi = {10.1007/3-540-56625-2\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Sekerinski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Srinivas92,
author = {Yellamraju V. Srinivas},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Derivation of a Parallel Matching Algorithm},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {323--343},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_21},
doi = {10.1007/3-540-56625-2\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Srinivas92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Turski92,
author = {Wladyslaw M. Turski},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Programming for Behaviour},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {18--31},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_5},
doi = {10.1007/3-540-56625-2\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Turski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/UttingR92,
author = {Mark Utting and
Ken Robinson},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Modular Reasoning in an Object-Oriented Refinement Calculus},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {344--367},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_22},
doi = {10.1007/3-540-56625-2\_22},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/UttingR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Abrial89,
author = {Jean{-}Raymond Abrial},
editor = {Jan L. A. van de Snepscheut},
title = {A Formal Approach To Large Software Construction},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {1--20},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_1},
doi = {10.1007/3-540-51305-1\_1},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Abrial89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackS89,
author = {Ralph{-}Johan Back and
Kaisa Sere},
editor = {Jan L. A. van de Snepscheut},
title = {Stepwise Refinement of Action Systems},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {115--138},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_7},
doi = {10.1007/3-540-51305-1\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackW89,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {Jan L. A. van de Snepscheut},
title = {A Lattice-theoretical Basis for a Specification Language},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {139--156},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_8},
doi = {10.1007/3-540-51305-1\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bijlsma89,
author = {A. Bijlsma},
editor = {Jan L. A. van de Snepscheut},
title = {Transformational Programming and Forests},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {157--173},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_9},
doi = {10.1007/3-540-51305-1\_9},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bijlsma89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Chandy89,
author = {K. Mani Chandy},
editor = {Jan L. A. van de Snepscheut},
title = {Mathematics of Program Construction Applied to Analog Neural Networks},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {21--35},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_2},
doi = {10.1007/3-540-51305-1\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Chandy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/ChenU89,
author = {Wei Chen and
Jan Tijmen Udding},
editor = {Jan L. A. van de Snepscheut},
title = {Towards a Calculus of Data Refinement},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {197--218},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_11},
doi = {10.1007/3-540-51305-1\_11},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/ChenU89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/ChenUV89,
author = {Wei Chen and
Jan Tijmen Udding and
Tom Verhoeff},
editor = {Jan L. A. van de Snepscheut},
title = {Networks of Communicating Processes and Their (De-)Composition},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {174--196},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_10},
doi = {10.1007/3-540-51305-1\_10},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/ChenUV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gribomont89,
author = {E. Pascal Gribomont},
editor = {Jan L. A. van de Snepscheut},
title = {Stepwise Refinement and Concurrency: {A} Small Exercise},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {219--238},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_12},
doi = {10.1007/3-540-51305-1\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gribomont89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HannanM89,
author = {John Hannan and
Dale Miller},
editor = {Jan L. A. van de Snepscheut},
title = {Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional
Language},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {239--255},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_13},
doi = {10.1007/3-540-51305-1\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HannanM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hehner89,
author = {Eric C. R. Hehner},
editor = {Jan L. A. van de Snepscheut},
title = {Termination is Timing},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {36--47},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_3},
doi = {10.1007/3-540-51305-1\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hehner89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Henson89,
author = {Martin C. Henson},
editor = {Jan L. A. van de Snepscheut},
title = {Realizability Models for Program Construction},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {256--272},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_14},
doi = {10.1007/3-540-51305-1\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Henson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hesselink89,
author = {Wim H. Hesselink},
editor = {Jan L. A. van de Snepscheut},
title = {Initialisation with a Final Value, an Exercise in Program Transformation},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {273--280},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_15},
doi = {10.1007/3-540-51305-1\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hesselink89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KaldewaijR89,
author = {Anne Kaldewaij and
Martin Rem},
editor = {Jan L. A. van de Snepscheut},
title = {A Derivation of a Systolic Rank Order Filter with Constant Response
Time},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {281--296},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_16},
doi = {10.1007/3-540-51305-1\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/KaldewaijR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KaldewaijS89,
author = {Anne Kaldewaij and
Berry Schoenmakers},
editor = {Jan L. A. van de Snepscheut},
title = {Searching by Elimination},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {297--306},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_17},
doi = {10.1007/3-540-51305-1\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/KaldewaijS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LengauerS89,
author = {Christian Lengauer and
Jeff W. Sanders},
editor = {Jan L. A. van de Snepscheut},
title = {The Projection of Systolic Programs},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {307--324},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_18},
doi = {10.1007/3-540-51305-1\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/LengauerS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LoyensB89,
author = {L. D. J. C. Loyens and
Rob H. Bisseling},
editor = {Jan L. A. van de Snepscheut},
title = {The Formal Construction of a Parallel Triangular System Solver},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {325--334},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_19},
doi = {10.1007/3-540-51305-1\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/LoyensB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Malcolm89,
author = {Grant Malcolm},
editor = {Jan L. A. van de Snepscheut},
title = {Homomorphisms and Promotability},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {335--347},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_20},
doi = {10.1007/3-540-51305-1\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Malcolm89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MayS89,
author = {David May and
David Shepherd},
editor = {Jan L. A. van de Snepscheut},
title = {Towards Totally Verified Systems},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {48--65},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_4},
doi = {10.1007/3-540-51305-1\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MayS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Meertens89,
author = {Lambert G. L. T. Meertens},
editor = {Jan L. A. van de Snepscheut},
title = {Constructing a Calculus of Programs},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {66--90},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_5},
doi = {10.1007/3-540-51305-1\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Meertens89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Misra89,
author = {Jayadev Misra},
editor = {Jan L. A. van de Snepscheut},
title = {Specifications of Concurrently Accessed Data},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {91--114},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_6},
doi = {10.1007/3-540-51305-1\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Misra89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Moller89,
author = {Bernhard M{\"{o}}ller},
editor = {Jan L. A. van de Snepscheut},
title = {Applicative Assertions},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {348--362},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_21},
doi = {10.1007/3-540-51305-1\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Moller89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Morgan89,
author = {Carroll Morgan},
editor = {Jan L. A. van de Snepscheut},
title = {Types and Invariants in the Refinement Calculus},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {363--378},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_22},
doi = {10.1007/3-540-51305-1\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Morgan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SmithL89,
author = {Douglas R. Smith and
Michael R. Lowry},
editor = {Jan L. A. van de Snepscheut},
title = {Algorithm Theories and Design Tactics},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {379--398},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_23},
doi = {10.1007/3-540-51305-1\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SmithL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Spivey89,
author = {J. Michael Spivey},
editor = {Jan L. A. van de Snepscheut},
title = {A Categorial Approch to the Theory of Lists},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {399--408},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_24},
doi = {10.1007/3-540-51305-1\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Spivey89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Woude89,
author = {Jaap van der Woude},
editor = {Jan L. A. van de Snepscheut},
title = {Rabbitcount : = Rabbitcount - 1},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {409--420},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_25},
doi = {10.1007/3-540-51305-1\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Woude89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1989,
editor = {Jan L. A. van de Snepscheut},
title = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1},
doi = {10.1007/3-540-51305-1},
isbn = {3-540-51305-1},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/1989.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.
retrieved on 2024-10-22 18:47 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
