10585 search results - page 1681 / 2117 » The Orc Programming Language |
134
click to vote
ESOP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
176
click to vote
CSFW
2009
IEEE
15 years 12 months ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
145
click to vote
TOOLS
2009
IEEE
15 years 12 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
147
click to vote
SP
2007
IEEE
15 years 11 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
158
click to vote
LCTRTS
2007
Springer
15 years 11 months ago
2007
Springer
High-performance and low-power VLIW DSP processors are increasingly deployed on embedded devices to process video and multimedia applications. For reducing power and cost in desig...