Login / Signup

Semantics-Based Program Analysis for Logic-Based Languages Using XSB.

Michael CodishBart DemoenKonstantinos Sagonas
Published in: Int. J. Softw. Tools Technol. Transf. (1998)
Keyphrases