5090 search results - page 482 / 1018 » Constructing Strategies for Programming |
168
click to vote
ECOOP
1994
Springer
15 years 11 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
179
click to vote
DLS
2008
15 years 8 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
207
click to vote
CATA
2003
15 years 8 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
152
click to vote
AIPS
1994
15 years 8 months ago
1994
This paper describes work on the Multimission VICARPlanner (MVP) system to automatically construct executable imageprocessing procedures for custom image processing requests for t...
169
click to vote
JAR
2006
15 years 7 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...