SERA
2009
Springer
13 years 10 months ago
2009
Springer
—Code modularization provides benefits throughout the software life cycle; however, the presence of crosscutting concerns (CCCs) in software hinders its complete modularization....
PPDP
2009
Springer
13 years 10 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
LFCS
2009
Springer
13 years 10 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
ICCS
2009
Springer
13 years 10 months ago
2009
Springer
The development of optimized codes is time-consuming and requires extensive architecture, compiler, and language expertise, therefore, computational scientists are often forced to ...
IPPS
2009
IEEE
13 years 11 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
IPPS
2009
IEEE
13 years 11 months ago
2009
IEEE
Parallel applications typically run in batch mode, sometimes after long waits in a scheduler queue. In some situations, it would be desirable to interactively add new functionalit...
ICSM
2009
IEEE
13 years 11 months ago
2009
IEEE
Tracking the progress of a project is often done through imprecise manually gathered information, like progress reports, or through automatic metrics such as Lines Of Code (LOC). ...
VL
2009
IEEE
13 years 11 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
CC
2010
Springer
13 years 11 months ago
2010
Springer
Instead of writing SQL queries directly, programmers often prefer writing all their code in a general purpose programming language like Java and having their programs be automatica...