Marc Bergman, Pierre Deransart. Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. In Egidio Astesiano, Corrado Böhm, editors, CAAP 81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings. Volume 112 of Lecture Notes in Computer Science, pages 101-116, Springer, 1981.
@inproceedings{BergmanD81,
title = {Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog},
author = {Marc Bergman and Pierre Deransart},
year = {1981},
tags = {Prolog, type system, data-flow programming, data-flow, graph-rewriting, algebra, programming, rewriting},
researchr = {https://researchr.org/publication/BergmanD81},
cites = {0},
citedby = {0},
pages = {101-116},
booktitle = {CAAP 81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings},
editor = {Egidio Astesiano and Corrado Böhm},
volume = {112},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-10828-9},
}