Files in this item

FilesDescriptionFormat

application/pdf

application/pdfB57-ACT_135.pdf (14MB)
(no description provided)PDF

Description

Title:Implementing a Program Checker for Linked Lists
Author(s):Deavours, D.
Subject(s):Multiplication algorithms
Program checking
Program verification
Implementation
Software fault-tolerance
Software fault tolerance
Linked lists
Hash functions
Issue Date:1995-08
Publisher:Applied Computation Theory, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG-95-2223, ACT-135
Genre:Report
Type:Text
Language:English
Description:Coordinated Science Laboratory was formerly known as Control Systems Laboratory
URI:http://hdl.handle.net/2142/74578
Sponsor:National Science Foundation / CCR-9315696
Date Available in IDEALS:2015-04-06
2017-07-14


This item appears in the following Collection(s)

Item Statistics