Semantic code browsing

DOI10.1017/S1471068416000417zbMath1379.68030arXiv1608.02565OpenAlexW2520809601MaRDI QIDQ4593054

Manuel V. Hermenegildo, Isabel García-Contreras, Jose Francisco Morales

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1608.02565

zbMATH Keywords

abstract interpretationassertionssemantic code search

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

Computing Abstract Distances in Logic Programs ⋮ Fifty Years of Prolog and Beyond

Uses Software

• Ciao
• CiaoPP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• An overview of Ciao and its design philosophy
• Compile-time derivation of variable dependency using abstract interpretation
• Abstract multiple specialization and its application to program parallelization
• A practical framework for theabstract interpretation of logic programs

This page was built for publication: Semantic code browsing