✦ LIBER ✦

Problem-oriented program verification system “SPEKTR”

✍ Scribed by V. A. Nepomnyashchii; S. G. Vorob'ev; A. A. Sulimov

Publisher: Springer US
Year: 1988
Tongue: English
Weight: 823 KB
Volume: 23
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01070237

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of linear algebra programs

Verification of linear algebra programs in the spektr system

✍ V. A. Nepomnyashchii; A. A. Sulimov 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 659 KB

Problem-oriented verification system and

Problem-oriented verification system and its application to linear algebra programs

✍ V.A. Nepomniaschy; A.A. Sulimov 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 819 KB

A data-oriented CI program system

✍ F. Sasaki; K. Tanaka; T. Noro; M. Togasi; T. Nomura; M. Sekiya; T. Gonoi; K. Ohn 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 739 KB

Verification problem for linear programs

Verification problem for linear programs with Boolean arrays

✍ A. G. Kostanyan 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 379 KB

A PRAM oriented programming system

✍ León, C.; Rodríguez, C.; García, F.; De Sande, F. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 215 KB

A PRAM-oriented programming language called 11 and its implementation on transputer networks are presented. The approach taken is a compromise between efficiency and simplicity. The 11 language has been conceived as a tool for the study, design, analysis, verification and teaching of parallel algori

Dermatology for the nondermatologist: A

Dermatology for the nondermatologist: A problem-oriented system

✍ Peter J Lynch; Scoll C Edminster 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 290 KB

We describe a logical and systematic approach to unknown dermatologic disease entities that utilizes a simple algorithm which, when properly applied, expeditiously narrows the differential diagnosis and provides a key to standard reference books. We find this algorithm system to be superior to the c