scientific article; zbMATH DE number 1948391

zbMath1015.68033MaRDI QIDQ4411953

C. Vaucheret, Francisco Bueno

Publication date: 13 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770102.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Description and Optimization of Abstract Machines in a Dialect of Prolog ⋮ Semantic code browsing ⋮ Data type inference for logic programming ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ 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 ⋮ Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses ⋮ A Transformational Approach to Parametric Accumulated-Cost Static Profiling ⋮ Non-strict independence-based program parallelization using sharing and freeness information ⋮ Testing your (static analysis) truths

This page was built for publication: