%0 Conference Paper %1 conf/fp/0001R94 %A O'Donnell, John %A Rünger, Gudula %B Functional Programming %D 1994 %E Hammond, Kevin %E Turner, David N. %E Sansom, Patrick M. %I Springer %K dblp %P 167-183 %T A Case Study in Parallel Program Derivation: the Heat Equation Algorithm. %U http://dblp.uni-trier.de/db/conf/fp/fp1994.html#0001R94 %@ 978-3-540-19914-4

@inproceedings{conf/fp/0001R94, added-at = {2019-06-25T00:00:00.000+0200}, author = {O'Donnell, John and Rünger, Gudula}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2efaa1ffaa44d0f8a90cdff52de64d5c6/dblp}, booktitle = {Functional Programming}, crossref = {conf/fp/1994}, editor = {Hammond, Kevin and Turner, David N. and Sansom, Patrick M.}, ee = {https://doi.org/10.1007/978-1-4471-3573-9_12}, interhash = {a59e13f1593350bcd806f6b8ab862a63}, intrahash = {efaa1ffaa44d0f8a90cdff52de64d5c6}, isbn = {978-3-540-19914-4}, keywords = {dblp}, pages = {167-183}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-09-27T16:04:53.000+0200}, title = {A Case Study in Parallel Program Derivation: the Heat Equation Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/fp/fp1994.html#0001R94}, year = 1994 }