✦ LIBER ✦

Automated Synthesis of Recursive Programs from a ∀∃ Logical Specification

✍ Scribed by Jacques Chazarain; Serge Muller

Book ID: 110230317
Publisher: Springer Netherlands
Year: 1998
Tongue: English
Weight: 245 KB
Volume: 21
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1005903504159

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inductive Synthesis of Recursive Process

Inductive Synthesis of Recursive Processes from Logical Properties

✍ Shigetomo Kimura; Atsushi Togashi; Norio Shiratori 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 402 KB

Synthesis of a nondeterministic automato

Synthesis of a nondeterministic automaton from its logical specification. I

✍ A. N. Chebotarev 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 711 KB

Synthesis of a nondeterministic automato

Synthesis of a nondeterministic automaton from its logical specification. II

✍ A. N. Chebotarev 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 559 KB

Inductive synthesis of recursive logic p

Inductive synthesis of recursive logic programs: achievements and prospects

✍ Pierre Flener; Serap Yıilmaz 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 377 KB

The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging sub®eld both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal speci®cations. We ®rst overview past and present achieve

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

Specification of Logic Programming Langu

Specification of Logic Programming Languages from Reusable Semantic Building Blocks

✍ J.E. Labra Gayo; J.M. Cueva Lovelle; M.C. Luengo Díez; A. Cernuda del Río 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 268 KB