3342 search results - page 475 / 669 » Automating Abstract Interpretation |
122
Voted
SASO
2007
IEEE
15 years 7 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
112
click to vote
SCAM
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
107
Voted
SIES
2007
IEEE
15 years 7 months ago
2007
IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
107
Voted
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
102
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...