1932 search results - page 227 / 387 » Molecule-oriented programming in Java |
115
Voted
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
111
Voted
JFP
2006
15 years 22 days ago
2006
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
102
click to vote
LISP
2008
15 years 22 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
137
click to vote
SERP
2010
14 years 10 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
95
Voted
ACMMSP
2004
ACM
15 years 6 months ago
2004
ACM
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...