Static analysis in datalog extensions
From MaRDI portal
Publication:3196624
DOI10.1145/502102.502104zbMath1323.68085OpenAlexW2077261730MaRDI QIDQ3196624
Yehoshua Sagiv, Oded Shmueli, Alon Y. Halevy, Inderpal Singh Mumick
Publication date: 30 October 2015
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/502102.502104
Related Items (1)
Uses Software
This page was built for publication: Static analysis in datalog extensions