177 search results - page 9 / 36 » Higher-Order Abstract Non-interference |
IFL
1998
Springer
14 years 2 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...
CONCUR
2005
Springer
14 years 3 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...
RSFDGRC
2005
Springer
14 years 3 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...
CIE
2010
Springer
14 years 2 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...
TPHOL
2007
IEEE
14 years 4 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...