176 search results - page 11 / 36 » Full Abstraction for Functional Languages with Control |
ESOP
1999
Springer
15 years 4 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
100
click to vote
AHS
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a mechanism for the separation of control and data flow in NoC-based SoCs consisting of multiple heterogeneous reconfigurable IP cores. This mechanism enables ...
97
Voted
GPCE
2003
Springer
15 years 4 months ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
85
Voted
PDCAT
2004
Springer
15 years 5 months ago
2004
Springer
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the “Blaster” spread quickly through the eno...