4880 search results - page 571 / 976 » Manuals as Structured Programs |
157
click to vote
CCS
2004
ACM
16 years 8 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
195
click to vote
PEPM
2004
ACM
16 years 7 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
166
click to vote
SAS
2004
Springer
16 years 6 days ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
228
click to vote
WOMPAT
2004
Springer
16 years 6 days ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
192
click to vote
WORDS
2003
IEEE
16 years 4 days ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...