IEEE Computer Volume 11 Number 4 -- REPOSITORY
Original Publication Date: 1978-Apr-01
Included in the Prior Art Database: 2005-Nov-10
Software Patent Institute
True Seaborn: AUTHOR [+3]
THIS DOCUMENT IS AN APPROXIMATE REPRESENTATION OF THE ORIGINAL.
This record contains textual material that is copyright ©; 1978 by the Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Contact the IEEE Computer Society http://www.computer.org/ (714-821-8380) for copies of the complete work that was the source of this textual material and for all use beyond that as a record from the SPI Database.
A collection of over 2600 technical papers (some refereed, some not), covering the full range of computer system design and maintained by the Computer Society as a service to the information processing community.
To submit papers: Send two copies of a paper of interest to the computer field to IEEE Computer Society Publications Office, 5855 Naples Plaza, Suite 301, Long Beach, CA 90803.
Include a 50-100 word abstract, a list of index terms (four maximum), and a cover letter giving permission to enter the paper in the Repository (entry in the Repository does not constitute publication).
All submitted material should be unbound, unstapled, printed one side only in black on 87/z a x 11~ white paper.
Material not conforming to the above requirements will not be accepted.
To order papers: State the R-number, listed before the author's last name, of each paper you order. Prices are 12 cents per page, plus $1.00 service charge for orders under 50 pages.
Microfiche copies are available for $2.50 for manuscripts under 50 pages, plus $2.50 for each additional 50 pages or fraction thereof.
All Repository items must be prepaid except for companies or institutions with established accounts. A $2.00 invoice charge is added to all non-prepaid orders. Make your check or money order payable to the IEEE Computer Society.
Overseas purchasers: please remit in US dollars on a US bank.
R78-34 -- Reiss, Steven P., "A Theoretic Approach to Automatic Programming" (58pp., Brown University, Providence, Rhode Island)
This paper gives bounds and directions for practical automatic programming. The author first demonstrates that automatic programming is a problem of inverting a semantics-specifying mapping. Then, using a series of simplifications and formalisms he shows that a specific problem is defined by a mapping that takes the target language into the source,
and that automatic programming simply involves inverting this mapping. This concise model is used to determine the bounds of practical automatic programming and those types of mappings that can be used in a practical system. The complexity of the problem depends on the type of mapping to be inverted. The author provides examples of practical problems that can be defined using the appropriate mappings, and discusses new directions for automatic programming.
R78-35 -- Shrivastava, S. K., and J. P. Banatre, "Reliable Resource Allocation Between Unreliable Processes" (38 pp., University of Newcastle upon Tyne, Newcastle upon Tyne, England)
IEEE Computer Society, Apr 01, 1978 P...