3706 search results - page 376 / 742 » The Transformational Approach to Program Development |
129
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...
141
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
127
click to vote
CIA
1998
Springer
15 years 8 months ago
1998
Springer
Information-rich environments are the open environments that characterize most of the modern applications of computing technology. The applications include ubiquitous information a...
164
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
144
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...