4731 search results - page 118 / 947 » Securing Interactive Programs |
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
117
click to vote
OOPSLA
2010
Springer
15 years 16 days ago
2010
Springer
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
141
click to vote
ICCL
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
118
click to vote
FOSAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
136
click to vote
SP
2010
IEEE
15 years 3 hour ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...