scientific article
From MaRDI portal
Publication:2723933
zbMath0964.68016MaRDI QIDQ2723933
Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
Publication date: 8 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Incremental Analysis of Logic Programs with Assertions and Open Predicates ⋮ Computing Abstract Distances in Logic Programs ⋮ An Integrated Approach to Assertion-Based Random Testing in Prolog ⋮ VeriFly: On-the-fly Assertion Checking via Incrementality ⋮ Fifty Years of Prolog and Beyond ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Practical run-time checking via unobtrusive property caching ⋮ Description and Optimization of Abstract Machines in a Dialect of Prolog ⋮ Semantic code browsing ⋮ Safety enforcement via programmable strategies in Maude ⋮ Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption ⋮ Abstraction-carrying code: a model for mobile code safety ⋮ Testing your (static analysis) truths
This page was built for publication:
