Search dblp for Publications

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

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.