Practical run-time checking via unobtrusive property caching

DOI10.1017/S1471068415000344zbMath1379.68102arXiv1507.05986OpenAlexW2263225824MaRDI QIDQ4593012

Nataliia Stulova, Manuel V. Hermenegildo, 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/1507.05986

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

Parallel Logic Programming: A Sequel ⋮ Testing your (static analysis) truths

Uses Software

• Ciao
• CiaoPP
• XSB

Cites Work

• Unnamed Item
• Unnamed Item
• Special issue: Selected papers based on the presentation at the 10th inernational static analysis symposium (SAS 2003), San Diego, CA, USA, June 11--13, 2003.
• Specification and verification challenges for sequential object-oriented programs
• XSB: Extending Prolog with Tabled Logic Programming
• An overview of Ciao and its design philosophy
• Contracts for higher-order functions
• Static Contract Checking with Abstract Interpretation
• The design and implementation of typed scheme
• Compile-time derivation of variable dependency using abstract interpretation
• Efficient tabling of structured data with enhanced hash-consing

This page was built for publication: Practical run-time checking via unobtrusive property caching