Sciweavers

3 search results - page 1 / 1
» Aspects of predicative algebraic set theory, II: Realizabili...
Sort
View
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
13 years 5 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif