Files in this item
| Files | Description | Format |
|---|---|---|
|
application/pdf  B57-ACT_135.pdf (14MB) | (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 |
| 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 |