183 search results - page 18 / 37 » Mostly-Functional Behavior in Java Programs |
131
Voted
SCAM
2007
IEEE
15 years 6 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
100
Voted
NSPW
2004
ACM
15 years 5 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
202
click to vote
POPL
2001
ACM
16 years 22 days ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
100
Voted
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. OpenJIT is an open-ended, reflective JIT compiler framework for Java being researched and developed in a joint project by Tokyo Inst. Tech. and Fujitsu Ltd. Although in g...
102
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...