540 search results - page 37 / 108 » Protection in Programming-Language Translations |
125
click to vote
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
125
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
242
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
142
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
113
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...