Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco. An Operational Semantics for CHIP. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 633-648, 1993.
@inproceedings{FileNT93,
title = {An Operational Semantics for CHIP},
author = {Gilberto Filé and Giuseppe Nardiello and Adriano Tirabosco},
year = {1993},
tags = {semantics, operational semantics},
researchr = {https://researchr.org/publication/FileNT93},
cites = {0},
citedby = {0},
pages = {633-648},
booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
editor = {Domenico Saccà},
}