Results 281 to 290 of about 15,947,209 (329)
Some of the next articles are maybe not open access.
1995
The purpose of this paper is threefold. First, we describe some basic ideas of constructive type theory, with emphasis on their value for specification. Second, we demonstrate the use of type theory as a specification language. This is done by means of a detailed example, namely, the specification of an abstract data type (ADT) for multisets.
openaire +1 more source
The purpose of this paper is threefold. First, we describe some basic ideas of constructive type theory, with emphasis on their value for specification. Second, we demonstrate the use of type theory as a specification language. This is done by means of a detailed example, namely, the specification of an abstract data type (ADT) for multisets.
openaire +1 more source
18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977
Daniel J. Lehmann, Michael B. Smyth
openaire +1 more source
Daniel J. Lehmann, Michael B. Smyth
openaire +1 more source