1937 search results - page 273 / 388 » Adaptation-based programming in java |
117
Voted
MEMOCODE
2010
IEEE
15 years 14 days ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
130
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
123
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
180
Voted
IWMM
2011
Springer
14 years 5 months ago
2011
Springer
At the heart of all garbage collectors lies the process of identifying and processing reference fields within an object. Despite its key role, and evidence of many different impl...
165
Voted
POPL
1989
ACM
15 years 6 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...