default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mpc/mpc92.bht:"
download as .bib file
@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}
}
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-09-25 15:46 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:
