Abstract multiple specialization and its application to program parallelization

DOI10.1016/S0743-1066(99)00031-XzbMath0944.68026OpenAlexW2085729865MaRDI QIDQ4939539

Manuel V. Hermenegildo, Germán Puebla

Publication date: 6 February 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(99)00031-x

zbMATH Keywords

abstract interpretationprogram specialization

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

Termination of floating-point computations ⋮ Transformation-Enabled Precondition Inference ⋮ Parallel Logic Programming: A Sequel ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Semantic code browsing ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Abstract multiple specialization and its application to program parallelization