3796 search results - page 293 / 760 » Presentations by Programmers for Programmers |
131
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
141
Voted
ECEASST
2008
15 years 3 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
112
Voted
ENTCS
2008
15 years 3 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
IJEB
2006
15 years 3 months ago
2006
: The internet has emerged as a key channel for both firms and governments. E-government programmes are diverse, and difficult to assess and compare with e-business initiatives. Th...
142
Voted
ENTCS
2007
15 years 3 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...