Conditional Expressions with Equality Tests

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Conditional Expressions with Equality Tests

Full text

Pdf (514 KB)

Source

Journal of the ACM (JACM) archive
Volume 25 , Issue 4 (October 1978) table of contents

Pages: 667 - 674

Year of Publication: 1978

ISSN:0004-5411

Author

Ravi Sethi

Bell Laboratories, Murray Hill, New Jersey

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 22, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/322092.322105 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	Robert S. Boyer , J. Strother Moore, Proving Theorems about LISP Functions, Journal of the ACM (JACM), v.22 n.1, p.129-144, Jan. 1975 [doi>10.1145/321864.321875]
	2	DIE BAKKER, J W. Semantics of programming languages In Advances tn Informaoon Systems Science, 1t"o/. 2, J T Tou, Ed, Plenum Press, New York, N Y, 1969, pp. 173-227
	3	Peter J. Downey , Ravi Sethi, Assignment Commands with Array References, Journal of the ACM (JACM), v.25 n.4, p.652-666, Oct. 1978 [doi>10.1145/322092.322104]
	4	IGARASHI, S Semantics of Algol-hke statements Lecture Notes m Mathematics 188, Springer- Verlag, Berhn, 1971, pp 117-177
	5	MCCARTHY, J A basis for a mathematical theory of computation In Computer Programming and Formal Systems, P Braffort and D Hirschberg, Eds., North-Holland, Amsterdam, 1963, pp 33-70
	6	Greg Nelson , Derek C. Oppen, A simplifier based on efficient decision algorithms, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.141-150, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512775]
	7	Hanan Samet, A normal form for compiler testing, Proceedings of the 1977 symposium on Artificial intelligence and programming languages, p.155-162, August 15-17, 1977
	8	Ravi Sethi, Testing for the Church-Rosser Property, Journal of the ACM (JACM), v.21 n.4, p.671-679, Oct. 1974 [doi>10.1145/321850.321862]
	9	SETm, R Simphfymg conditional expressions Unpublished manuscript, Bell Laboratories, Murray Hdl, N J, 1978
	10	SHOSTAK, R E. An algorithm for reasoning about equality Tech Rep, SRI, Menlo Park, Cahf, 1977

CITED BY 3

	Peter J. Downey , Ravi Sethi, Assignment Commands with Array References, Journal of the ACM (JACM), v.25 n.4, p.652-666, Oct. 1978
	Irène Guessarian, Survey on classes of interpretations and some of their applications, ACM SIGACT News, v.15 n.3, p.45-71, Summer-Fall 1983
	Nishant Sinha, Symbolic program analysis using term rewriting and generalization, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, p.1-9, November 17-20, 2008, Portland, Oregon