✦ LIBER ✦

Equivalent Transformations of Program Schemes for “Entangling” Programs

✍ Scribed by R. I. Podlovchenko

Book ID: 110331890
Publisher: SP MAIK Nauka/Interperiodica
Year: 2002
Tongue: English
Weight: 88 KB
Volume: 28
Category: Article
ISSN: 0361-7688
DOI: 10.1023/a:1014885019688

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic-term equivalent transformations of

Logic-term equivalent transformations of program schemes

✍ Sin Men Dyo 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 847 KB

Equivalences on program schemes

✍ R. Milner 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 654 KB

A program scheme may be informally described as a program with the interpretation (i.e., the meaning of the basic instructions or standard functions) left unspecified. This paper studies the equivalence of program schemes under different classes of interpretations, with emphasis on those in which th

Equivalent transformations for address a

Equivalent transformations for address algorithm schemes

✍ V. N. Porshneva 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 472 KB

On a general solution to the problem of

On a general solution to the problem of equivalent transformations of program schemes

✍ R. I. Podlovchenko 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 867 KB

The equivalence of R.E. program schemes

The equivalence of R.E. program schemes and data flow schemes

✍ Jeffrey M. Jaffe 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 1022 KB

On a general solution to the problem of

On a general solution to the problem of equivalent transformations of program schemes (II)

✍ R. I. Podlovchenko 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 781 KB