✦ LIBER ✦

Transformation approach to program concretization

✍ Scribed by V. N. Kas'yanov

Publisher: Springer US
Year: 1990
Tongue: English
Weight: 530 KB
Volume: 25
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01069772

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards a transformational approach to p

Towards a transformational approach to program verification

✍ Myla Archer; Amy Lo; Ronald A. Olsson 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 182 KB 👁 1 views

Although most typically used in other contexts, program transformations can simplify program verification by transforming a program containing complex language features into a semantically equivalent program containing only simpler language features. The proof of the transformed program can then be

A squared-variable transformation approa

A squared-variable transformation approach to nonlinear programming optimality conditions

✍ James G. Taylor 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 663 KB

An approach to automation of optimizing

An approach to automation of optimizing transformations of algorithms and programs

✍ A. N. Petrushenko 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 848 KB

One approach to program analysis

✍ A. A. Letichevskii 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 799 KB

Approaches to program comprehension

✍ D.J. Robson; K.H. Bennett; B.J. Cornelius; M. Munro 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 872 KB

Approach to fundamentals of concrete str

Approach to fundamentals of concrete strength

✍ G.L. Kalousek; J.E. Kopanda 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 512 KB

Hydrated pastes of C3S or alite were prepared with different amounts of integrally bound SO 3 added as gypsum. Strength decreased continuously with increased SO 3 content above about l.O percent. Additions of Al203 into the lattice increased the optimum S03 content to either l.O -1.5 percent or 2.5