Files in this item
Files | Description | Format |
---|---|---|
application/pdf ![]() | (no description provided) |
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 (Grant or Annual) |
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 |