707 search results - page 54 / 142 » Some Comments on the Coding of Programs |
105
click to vote
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...
98
Voted
SIMUTOOLS
2008
15 years 2 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
125
Voted
ENTCS
2006
15 years 22 days ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
127
click to vote
IIE
2006
15 years 21 days ago
2006
In this paper, we present an open-source program visualization tool, Jeliot 3. We discuss the design principles and philosophy that gave rise to this successful e-learning tool and...
135
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...