Edward A. Luke. Loci: A Deductive Framework for Graph-Based Algorithms. In Satoshi Matsuoka, R. R. Oldehoeft, Marydell Tholburn, editors, Computing in Object-Oriented Parallel Environments, Third International Symposium, ISCOPE 99, San Francisco, California, USA, December 8-10, 1999, Proceedings. Volume 1732 of Lecture Notes in Computer Science, pages 142-153, Springer, 1999.
@inproceedings{Luke99,
title = {Loci: A Deductive Framework for Graph-Based Algorithms},
author = {Edward A. Luke},
year = {1999},
tags = {rule-based, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Luke99},
cites = {0},
citedby = {0},
pages = {142-153},
booktitle = {Computing in Object-Oriented Parallel Environments, Third International Symposium, ISCOPE 99, San Francisco, California, USA, December 8-10, 1999, Proceedings},
editor = {Satoshi Matsuoka and R. R. Oldehoeft and Marydell Tholburn},
volume = {1732},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66818-7},
}