Title of article :
A Theory of Observables for Logic Programs
Author/Authors :
Marco Comini، نويسنده , , Giorgio Levi، نويسنده , , Maria Chiara Meo، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
abstract interpretation. , SLD-derivations , Compositionality , Semantics
Journal title :
Information and Computation
Journal title :
Information and Computation
