476 search results - page 69 / 96 » Static analysis of PostScript code |
134
click to vote
WSE
2006
IEEE
15 years 7 months ago
2006
IEEE
The widespread adoption of web services as an instant means of information dissemination and various other transactions, has essentially made them a key component of today’s Int...
132
click to vote
ENTCS
2007
15 years 1 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
131
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
110
click to vote
FAST
2008
15 years 3 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...