✦ LIBER ✦

Proofs of numerical programs when the compiler optimizes

✍ Scribed by Sylvie Boldo; Thi Minh Tuyen Nguyen

Book ID: 106573718
Publisher: Springer
Year: 2011
Tongue: English
Weight: 584 KB
Volume: 7
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-011-0151-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of Numerical Program

Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs

✍ Sylvie Boldo; Claude Marché 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 785 KB

Compiler Design || Optimization of Funct

Compiler Design || Optimization of Functional Programs

✍ Seidl, Helmut; Wilhelm, Reinhard; Hack, Sebastian 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 230 KB

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source a

The design of experiments using compiler

The design of experiments using compiler language computer programs

✍ J.V. Kane 📂 Article 📅 1964 🏛 Elsevier Science ⚖ 339 KB

A program auto-parallelizer based on the

A program auto-parallelizer based on the component technology of optimizing compiler construction

✍ A. Yu. Drozdov; S. V. Novikov 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 197 KB

Optimizing compiler for the procedural s

Optimizing compiler for the procedural subset of the algebraic programming language of the APS system

✍ T. A. Val'kevich; Yu. V. Kapitonova; A. A. Letichevskii 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 774 KB

Optimization methods of parallel executi

Optimization methods of parallel execution of numerical programs in the LuNA fragmented programming system

✍ Victor Malyshkin, Vladislav Perepelkin 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 673 KB