264 search results - page 35 / 53 » Ephemeral Java Source Code |
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
WCRE
2006
IEEE
14 years 2 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
SPIN
2000
Springer
14 years 5 days ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
SCAM
2005
IEEE
14 years 2 months ago
2005
IEEE
In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly c...
ECOOP
2006
Springer
14 years 8 days ago
2006
Springer
AspectJ-like languages are currently ineffective at modularizing heterogeneous concerns that are tightly coupled to the source code of the base program, such as logging, invariant...