✦ LIBER ✦

The automatic synthesis of iterative programs

✍ Scribed by Giuseppina Gini

Book ID: 113162463
Publisher: Elsevier Science
Year: 1982
Tongue: English
Weight: 941 KB
Volume: 14
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(82)90089-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The automatic synthesis of recursive pro

The automatic synthesis of recursive programs

✍ Manna, Zohar; Waldinger, Richard 📂 Article 📅 1977 🏛 Association for Computing Machinery ⚖ 653 KB

We describe a deductive technique for the automatic construction of recursive programs to meet given input-output specifications. These specifications express what conditions the output of the desired program is expected to satisfy. The deductive technique involves transforming the specifications by

Automatic Synthesis of Recursive Program

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

✍ Alessandro Armando; Alan Smaill; Ian Green 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 115 KB

An Iterative Approximation Procedure for

An Iterative Approximation Procedure for Automatic Filter Synthesis

✍ Smith, B.; Temes, G. 📂 Article 📅 1965 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 632 KB

The clean termination of iterative progr

The clean termination of iterative programs

✍ Andrzej Blikle 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 975 KB

An approach to automatic deductive synth

An approach to automatic deductive synthesis of functional programs

✍ Yulia Korukhova 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 339 KB

Automatic control of the parameters of a

Automatic control of the parameters of an iterative process for use in mathematical programming

✍ I. I. Eremin; Vl. D. Mazurov 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 433 KB