✦ LIBER ✦

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

✍ Scribed by Alessandro Armando; Alan Smaill; Ian Green

Book ID: 110267337
Publisher: Springer US
Year: 1999
Tongue: English
Weight: 115 KB
Volume: 6
Category: Article
ISSN: 0928-8910
DOI: 10.1023/a:1008763422061

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

Predicate Synthesis for Correcting Fault

Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm

✍ Raúl Monroy 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 132 KB

The automatic synthesis of iterative pro

The automatic synthesis of iterative programs

✍ Giuseppina Gini 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 941 KB

A simple proof on the decidability of eq

A simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programs

✍ H. Leung; D. Ranjan; H.J. Hernández; D. Tang; A. González 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 308 KB

Using Computer Algebra techniques for th

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs

✍ Nikolaj Popov; Tudor Jebelean 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Automatic perception of reactivity chara

Automatic perception of reactivity characteristics of molecular structures directed to the planning of organic synthesis

✍ Kimito Funatsu; Carlos A. Del Carpio; Shin-Ichi Sasaki 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 684 KB