3404 search results - page 230 / 681 » C Programming Tutorial |
117
click to vote
ENTCS
2002
15 years 1 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
116
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
122
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
114
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
134
click to vote
SENSYS
2009
ACM
15 years 9 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...