5090 search results - page 676 / 1018 » Constructing Strategies for Programming |
291
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
231
click to vote
GPCE
2007
Springer
16 years 27 days ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
231
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
168
click to vote
CD
2004
Springer
16 years 4 days ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
211
click to vote
LCTRTS
2004
Springer
16 years 2 days ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...