5090 search results - page 558 / 1018 » Constructing Strategies for Programming |
172
click to vote
PPDP
2005
Springer
16 years 12 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
159
click to vote
SAC
2004
ACM
16 years 10 days ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
170
click to vote
SIGADA
2004
Springer
16 years 8 days ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
149
click to vote
ATS
2003
IEEE
16 years 6 days ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
182
Voted
CGO
2003
IEEE
16 years 6 days ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...