Managing the granularity of constraint-based analyses by rule transformation.

DOI10.1016/S0020-0190(01)00314-3zbMath1043.68091MaRDI QIDQ1853047

Byeong-Mo Chang

Publication date: 21 January 2003

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Rule transformationSet-based analysisSet-constraints

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Cites Work

• Unnamed Item
• Abstract interpretation and application to logic programs
• Projection merging

This page was built for publication: Managing the granularity of constraint-based analyses by rule transformation.