3342 search results - page 240 / 669 » Automating Abstract Interpretation |
156
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
163
click to vote
ELP
1991
15 years 7 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
133
Voted
AUSFORENSICS
2004
15 years 4 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
132
Voted
FORTE
2001
15 years 4 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
128
Voted
USENIX
2000
15 years 4 months ago
2000
The transition from command-line interfaces to graphical interfaces has resulted in programs that are easier to learn and use, but harder to automate and reuse. Another transition...