Abstract interpretation based verification of logic programs

Author： Comini M.   Gori R.   Levi G.   Volpe P.  

Publisher： Elsevier

ISSN： 0167-6423

Source： Science of Computer Programming, Vol.49, Iss.1, 2003-12, pp. : 89-123

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Abstract Interpretation based Verification of Logic Programs

By Comini M.   Gori R.   Levi G.   Volpe P.  

Electronic Notes in Theoretical Computer Science, Vol. 30, Iss. 1, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite

Precise goal-independent abstract interpretation of constraint logic programs

By Schachte P.  

Theoretical Computer Science, Vol. 293, Iss. 3, 2003-02 ,pp. : 557-577

Elsevier

Access to resources Recommend Favorite

Fully abstract compositional semantics for an algebra of logic programs

By Brogi A.   Turini F.  

Theoretical Computer Science, Vol. 149, Iss. 2, 1995-10 ,pp. : 201-229

Elsevier

Access to resources Recommend Favorite

A Methodology for Granularity-Based Control of Parallelism in Logic Programs

By Lopez P.   Hermenegildo M.   debray S.  

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 715-734

Academic Press

Access to resources Recommend Favorite

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

By Alberti Marco  

Applied Artificial Intelligence, Vol. 20, Iss. 2-4, 2006-02 ,pp. : 133-157

Taylor & Francis Ltd

Access to resources Recommend Favorite