A generalized interval package and its use for semantic checking

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A generalized interval package and its use for semantic checking

Full text

Pdf (841 KB)

Source

ACM Transactions on Mathematical Software (TOMS) archive
Volume 10 , Issue 4 (December 1984) table of contents

Pages: 397 - 409

Year of Publication: 1984

ISSN:0098-3500

Author

Alan Bundy

Univ. of Edinburgh, Edinburgh, UK

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 16, Citation Count: 0

Additional Information:

references index terms review collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/2701.2702 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BUNDY, A. A generalized interval package and its use for semantic checking. Working Paper 86, Dept. of Artificial Intelligence, Univ. of Edinburgh, Mar., 1981.
	2	BUND~, A., AND WELHAM, B. Using meta-level inference for selective application of multiple rewrite rules m algebraic manipulation. Art~ InteU 16, 2 (1981), 189-212.
	3	BUNDY, A., BYRD, L., LUGER, G., MELLISH, C., MILNE, R., AND PALMER, M. Solving mechanics problems using meta-level inference. In Proceedings IJCAI-79 International Joint Conference on Artificial Intelligence, Tokyo, 1979, pp. 1017-1027. Also available as DAI Research Paper 112, Dept. of Artfficlal Intelhgence, Univ. of Edinburgh, Scotland.
	4	COLE, A.J., AND MORRISON, R. Triplex: A system for interval arithmetic. So#w. Pract. Exper. 12, 4 (Apr. 1982), 341-350.
	5	Donald I. Good , Ralph L. London, Computer Interval Arithmetic: Definition and Proof of Correct Implementation, Journal of the ACM (JACM), v.17 n.4, p.603-612, Oct. 1970 [doi>10.1145/321607.321610]
	6	HOUG., D. Applications of the proposed IEEE 754 standard for floating point arithmetic. Computer (Mar. 1981), 70-74.
	7	KAHAN, W.M. A more complete interval arithmetic. Lecture notes prepared for a summer course at the University of Michigan (June 17-21, 1968).
	8	PEREIRA, L.M., PEREIRA, F.C.N., AND WARREN, D.H.D. User's guide to DECsystem-10 PROLOG. Occasional Paper 15, Dept. of Artificial Intelligence, Univ. of Edinburgh, Scotland, 1979.
	9	RABINOWITZ, H. Implementation of a more complete interval arithmetic. Master's thesis, Umv. of California, Berkeley, 1979.
	10	REINSCH, C. A synopsis of interval arithmetic. In The Relatmnship between Numerical Computing and Programming Languages, J.K. Reid, Ed. North-Holland, Amsterdam, 1982, pp. 85- 100.
	11	J. M. Yohe, Software for Interval Arithmetic: A Reasonably Portable Package, ACM Transactions on Mathematical Software (TOMS), v.5 n.1, p.50-63, March 1979 [doi>10.1145/355815.355819]

INDEX TERMS

Classification:
G. Mathematics of Computing
G.1 NUMERICAL ANALYSIS
G.1.0 General
Subjects: Computer arithmetic

I. Computing Methodologies
I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
I.1.3 Languages and Systems
Subjects: Special-purpose algebraic systems

General Terms:
Algorithms, Theory, Verification

REVIEW

"Jo Ann Shaw Howell : Reviewer"

The author describes a new interval arithmetic package, INT, with several improvements over previous software packages. This new package handles open and closed boundaries, any function (provided information about where that function is monotone more...

Collaborative Colleagues:

Alan Bundy: colleagues

Peer to Peer - Readers of this Article have also read:

Data structures for quadtree approximation and compression Communications of the ACM 28, 9
Hanan Samet
A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee , Huizhu Lu , D. D. Fisher
The GemStone object database management system Communications of the ACM 34, 10
Paul Butterworth , Allen Otis , Jacob Stein
Putting innovation to work: adoption strategies for multimedia communication systems Communications of the ACM 34, 12
Ellen Francik , Susan Ehrlich Rudman , Donna Cooper , Stephen Levine
An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE conference on Design automation
Gwo-Dong Chen , Daniel D. Gajski

Adobe Acrobat

QuickTime

Windows Media Player

Real Player