Michael Codish, Bart Demoen, Konstantinos F. Sagonas. Semantics-Based Program Analysis for Logic-Based Languages Using XSB. STTT, 2(1):29-45, 1998. [doi]
@article{CodishDS98,
title = {Semantics-Based Program Analysis for Logic-Based Languages Using XSB},
author = {Michael Codish and Bart Demoen and Konstantinos F. Sagonas},
year = {1998},
url = {http://link.springer.de/link/service/journals/10009/bibs/8002001/80020029.htm},
tags = {programming languages, semantics, rule-based, program analysis, analysis, logic programming, logic},
researchr = {https://researchr.org/publication/CodishDS98},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {2},
number = {1},
pages = {29-45},
}