Demand analysis with partial predicates

DOI10.1017/S1471068406002882zbMath1112.68023OpenAlexW2069351967MaRDI QIDQ3430668

Ángel Herranz, Juan José Moreno-Navarro, Julio Mariño

Publication date: 23 March 2007

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

Full work available at URL: https://doi.org/10.1017/s1471068406002882

zbMATH Keywords

program transformationabstract interpretationdemand analysisstrictness analysisfunctional-logic programmingset-constraint analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

This page was built for publication: Demand analysis with partial predicates