7124 search results - page 918 / 1425 » Programming Languages and Operating Systems |
171
click to vote
CACM
2010
15 years 3 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
161
Voted
IFL
2007
Springer
16 years 18 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
161
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
181
Voted
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes a framework for providing the ability to use multiple specialized data parallel libraries and/or languages within a single application. The ability to use mul...
188
click to vote
JFP
2006
15 years 6 months ago
2006
XML data are described by types involving regular expressions. This raises the question of what language feature is convenient for manipulating such data. Previously, we have give...