✦ LIBER ✦

On transformations of programs

✍ Scribed by Richard Bird

Publisher: Elsevier Science
Year: 1974
Tongue: English
Weight: 503 KB
Volume: 8
Category: Article
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(74)80020-6

No coin nor oath required. For personal study only.

✦ Synopsis

A treatment is given of a class of program transformations X with the property that for each program P, both P and X(P) compute the same function. Many transformations encountered in the theory of computation can be shown to he in the class and, hence, formally proved to preserve equivalence. As an example, the theory is applied to the proof of a speed up theorem in computational complexity.

📜 SIMILAR VOLUMES

Transformations of logic programs

✍ Olga Štěpánková; Petr Štěpánek 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 863 KB

Transformation of Logic Programs to FP P

Transformation of Logic Programs to FP Programs Based on Dataflows

✍ Susumu Yamasaki; Kentaro Iida 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 692 KB

This paper is concerned with functionality of a logic program. Functionality based on input-output relations declared in predicates is not treated, but functionality of extensionalities of predicates, involved in a logic program, is realized by a dataflow computation and a functional programming (FP

Unfold/fold transformations for disjunct

Unfold/fold transformations for disjunctive logic programs

✍ Manolis Gergatsoulis 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs. @ 1997 Elsevier Science B.V.

Towards the verification of optimizing t

Towards the verification of optimizing transformations for imperative programs

✍ Gerd Kock 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 657 KB

On the inversion of Laplace transforms b

On the inversion of Laplace transforms by linear programming

✍ J.R.A. Pearson; G.M. Richards; H. Skoczylas 📂 Article 📅 1964 🏛 Elsevier Science 🌐 English ⚖ 367 KB

Shorter Communications truly circular leading edge but, as before, the stable shape is reached after about 0.4 sec. These observations can be compared with the results of the elegant experiment of WALTERS and DAVIDSON [l] where the initial motion of a two-dimensional bubble was observed without the

Undergraduate programs: Transforming LIS

Undergraduate programs: Transforming LIS education

✍ Barbara Wildemuth; Lori Kendall; Michael D. McNeese; Robert J. Sandusky; Kenneth 📂 Article 📅 2009 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 16 KB

North American schools of library and information science (LIS) have traditionally and overwhelmingly focused on providing professional graduate education to practitioners, researchers, and educators in the information sciences and technology. A few schools pioneered undergraduate programs two or mo