Constraint-type statements in programming languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Constraint-type statements in programming languages

Full text

Pdf (338 KB)

Source

Communications of the ACM archive
Volume 7 , Issue 10 (October 1964) table of contents

Pages: 587 - 588

Year of Publication: 1964

ISSN:0001-0782

Author

M. V. Wilkes

Univ. Mathematical Laboratory, Cambridge, England

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 18, Citation Count: 5

Additional Information:

abstract 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/364888.364967 What is a DOI?

ABSTRACT

A proposal is made for including in a programming language statements which imply relations between variables but which are not explicit assignment statements. The compiler sets up a Newtonian iteration making use for the purpose of a routine for formal differentiation.

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.

John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I, Communications of the ACM, v.3 n.4, p.184-195, April 1960 [doi>10.1145/367177.367199]

CITED BY 5

	James F. Gimpel, Blocks—a new datatype for SNOBOL4, Communications of the ACM, v.15 n.6, p.438-447, June 1972
	Jerome Feldman , David Gries, Translator writing systems, Communications of the ACM, v.11 n.2, p.77-113, Feb. 1968
	Bruce W. Arden, The role of programming in a Ph.D. computer science program, Communications of the ACM, v.12 n.1, p.31-37, Jan. 1969
	Jaroslaw R. Rossignac, Constraints in constructive solid geometry, Proceedings of the 1986 workshop on Interactive 3D graphics, p.93-110, January 1987, Chapel Hill, North Carolina, United States
	Eugene D. Homer, An algorithm for selecting and sequencing statements as a basis for a problem-oriented programming system, Proceedings of the 1966 21st national conference, p.305-312, January 1966