Browse Prior Art Database

IEEE Computer Volume 11 Number 4 -- REPOSITORY Disclosure Number: IPCOM000131300D
Original Publication Date: 1978-Apr-01
Included in the Prior Art Database: 2005-Nov-10
Document File: 3 page(s) / 19K

Publishing Venue

Software Patent Institute

Related People

True Seaborn: AUTHOR [+2]


REPOSITORY * R78-34 -- Reiss, Steven P., ";A Theoretic Approach to Automatic Programming"; (58pp., Brown University, Providence, Rhode Island) * 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) * R78-36 -- Jullien, G. A., ";Residue Number Scaling and Other Operations Using ROM Arrays"; (43 pp., University of Windsor, Ontario, Canada * R78-37 -- Zaks, Samuel, ";Generating K-ary Trees Lexicographically"; (19 pp., Report No. UIUCDCS R-77- 901, University of Illinois, Urbana, Illinois) * R78 38 -- Perl, Yehoshua, ";Average Analysis of Simple Path Algorithms"; (27 pp., Report No. UIUCDCS R- 77-905, University of Illinois, Urbana, Illinois) * R78-39 -- Redinbo, G. Robert, ";Finite Field Arithmetic on an Array Processor"; (49 pp., Rensselaer Polytechnic Institute, Troy,- New York) * R78 40 -- Kong, Antony King Yin, ";A Search for Better Linear Multistep Methods for Stiff Problems"; (105 pp., Report No. UIUCDCS-R-77-899, University of Illinois Urbana, Illinois) * R78~41 -- Bruening, James T., ";Inverses of Transfer Function Matrices"; (38 pp., Baker University, Baldwin City, Kansas)

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 34% of the total text.

Page 1 of 3


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 (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...