13734 search results - page 261 / 2747 » Abstractions of data types |
126
click to vote
SIGCSE
1998
ACM
15 years 10 months ago
1998
ACM
tterns help narrow the gap between the abstract views of the data structures and their concrete implementations. The smaller the gap, the higher the level action. The more abstract...
167
click to vote
JISE
1998
15 years 6 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
164
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
"Generics for the Masses" (GM) and "Scrap your Boilerplate" (SYB) are generic programming approaches based on some ingenious applications of Haskell type class...
179
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
190
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...