10935 search results - page 1894 / 2187 » Neural Programming Language |
WCRE
2000
IEEE
15 years 6 months ago
2000
IEEE
A SEF (software exchange format), such as GXL [6], TA [4] or RSF [7], is used to exchange data between tools that analyze software. Researchers at Bell Canada have specified the D...
110
click to vote
WCRE
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
113
click to vote
BIRTHDAY
2000
Springer
15 years 6 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
114
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
124
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...