Implementing a Program Checker for Linked Lists

Deavours, D.

Permalink

https://hdl.handle.net/2142/74578 Copy

Description

Title

Implementing a Program Checker for Linked Lists

Author(s)

Deavours, D.

Issue Date

1995-08

Keyword(s)

• Multiplication algorithms
• Program checking
• Program verification
• Implementation
• Software fault-tolerance
• Software fault tolerance
• Linked lists
• Hash functions

Publisher

Applied Computation Theory, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign

Series/Report Name or Number

Coordinated Science Laboratory Report no. UILU-ENG-95-2223, ACT-135

Type of Resource

text

Language

English

Permalink

http://hdl.handle.net/2142/74578

Sponsor(s)/Grant Number(s)

National Science Foundation / CCR-9315696

Owning Collections