3342 search results - page 374 / 669 » Automating Abstract Interpretation |
123
click to vote
ITICSE
2000
ACM
15 years 9 months ago
2000
ACM
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...
160
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
107
click to vote
PEPM
1998
ACM
15 years 9 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
142
click to vote
TABLEAUX
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
148
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...