598 search results - page 5 / 120 » A dynamic birthmark for java |
FIDJI
2004
Springer
14 years 21 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
IJPP
2002
13 years 7 months ago
2002
This paper presents a compilation framework that allows executable code to be shared across different Java Virtual Machine (JVM) instances. All fully compliant JVMs that target se...
CGO
2011
IEEE
12 years 11 months ago
2011
IEEE
— The emergence and wide adoption of web applications have moved the client-side component, often written in JavaScript, to the forefront of computing on the web. Web application...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes to enhance the dynamism and the flexibility of Java Enterprise Edition (EE) servers by introducing a Service-Oriented Architecture (SOA) inside. The purpose is...
JAVA
1999
Springer
13 years 11 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...