Academic Journal
Verifying the Absence of Common Runtime Errors in Computer Programs
| العنوان: | Verifying the Absence of Common Runtime Errors in Computer Programs |
|---|---|
| المؤلفون: | German, Steven M. |
| المساهمون: | STANFORD UNIV CA DEPT OF COMPUTER SCIENCE |
| المصدر: | DTIC AND NTIS |
| سنة النشر: | 1981 |
| المجموعة: | Defense Technical Information Center: DTIC Technical Reports database |
| مصطلحات موضوعية: | Computer Programming and Software, COMPUTER PROGRAMMING, ERROR ANALYSIS, COMPUTER PROGRAM VERIFICATION, COMPUTER PROGRAMS, ALGORITHMS, PROGRAMMING LANGUAGES, COMPILERS, THEOREMS, PASCAL PROGRAMMING LANGUAGE, RUNCHECK COMPUTER PROGRAM, RUNTIME ERRORS |
| الوصف: | The Runcheck verifier is a working prototype system for proving the absence of runtime errors such as arithmetic overflow, array subscripting out of range, accessing an uninitialized variable, and dereferencing a null pointer. Such errors cannot be detected at compile time by most compilers. Runcheck accepts Pascal programs documented with assertions and proves that the assertions are consistent with the program and that no runtime errors can occur. |
| نوع الوثيقة: | text |
| وصف الملف: | text/html |
| اللغة: | English |
| Relation: | http://www.dtic.mil/docs/citations/ADA109433 |
| الاتاحة: | http://www.dtic.mil/docs/citations/ADA109433 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA109433 |
| Rights: | APPROVED FOR PUBLIC RELEASE |
| رقم الانضمام: | edsbas.EBD485D9 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |