In computer science, a list or sequence is an abstract data type that implements an ordered collection of values, where the same value may occur more than once. An instance of a list is a computer ...
Abstract: This paper describes the data type definition facilities of the AFFIRM system for program specification and verification. Following an overview of the system, we review the rewrite rule ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback