Differential methods in logic program analysis

DOI10.1016/S0743-1066(97)10002-4zbMath0905.68029OpenAlexW2047799617WikidataQ57665049 ScholiaQ57665049MaRDI QIDQ4208853

Harald Søndergaard, Maria Garcia de la Banda, Peter J. Stuckey, Kim Marriott

Publication date: 24 November 1998

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

Full work available at URL: https://doi.org/10.1016/s0743-1066(97)10002-4

zbMATH Keywords

program analysislogic programming languages

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Pair-independence and freeness analysis through linear refinement., Optimality in goal-dependent analysis of Sharing, Precise goal-independent abstract interpretation of constraint logic programs.