VeriFly: On-the-fly Assertion Checking via Incrementality

DOI10.1017/s1471068421000430zbMath1530.68059arXiv2106.07045OpenAlexW3208361496MaRDI QIDQ6063866

No author found.

Publication date: 12 December 2023

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

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

zbMATH Keywords

static analysislogic programmingconstraint programmingincremental analysisabstract interpretationon-the-fly assertion checkingprogram development environments

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Difference-list transformation for Prolog
• A polymorphic type system for Prolog
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Safe & Efficient Gradual Typing for TypeScript
• An overview of Ciao and its design philosophy
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
• Incremental and Modular Context-sensitive Analysis
• Optimized algorithms for incremental analysis of logic programs
• Incremental Analysis of Logic Programs with Assertions and Open Predicates
• Hybrid type checking
• Context-Sensitive Multivariant Assertion Checking in Modular Programs
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Towards Typed Prolog

This page was built for publication: VeriFly: On-the-fly Assertion Checking via Incrementality