Analytic constraint solving and interval arithmetic

DOI10.1145/325694.325738zbMath1323.68086OpenAlexW2058405411MaRDI QIDQ5178863

Timothy J. Hickey

Publication date: 17 March 2015

Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/325694.325738

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Interval and finite arithmetic (65G30) Logic programming (68N17)

Related Items

A class of polynomially solvable range constraints for interval analysis without widenings