1937 search results - page 76 / 388 » Adaptation-based programming in java |
PLDI
2011
ACM
13 years 38 min ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
ECOOP
2010
Springer
14 years 2 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
FMICS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
CADE
2011
Springer
12 years 9 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
IWPC
2003
IEEE
14 years 2 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...