177 search results - page 9 / 36 » Higher-Order Abstract Non-interference |
132
click to vote
IFL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
100
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
123
click to vote
RSFDGRC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a rough set approach to vague concept approximation within the adaptive learning framework. In particular, the role of extensions of approximation spaces in se...
110
click to vote
CIE
2010
Springer
15 years 6 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
125
Voted
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...