Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/7457
Title: The Assertion Table System for the PL/CV2 Program Verifier
Authors: Krafft, Dean B.
Keywords: computer science
technical report
Issue Date: Apr-1978
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR78-337
Abstract: A system to implement the block structured storage of PL/CV2 assertions is described. The system allows certain simple logical deductions to be performed automatically. These include deductions involving propositional reasoning, associativity and commutativity of arithmetic operators, and reasoning about equality. The implementation is described at a conceptual level.
URI: http://hdl.handle.net/1813/7457
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
78-337.pdf884.88 kBAdobe PDFView/Open
78-337.ps293.26 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us