3342 search results - page 139 / 669 » Automating Abstract Interpretation |
105
click to vote
CADE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
107
click to vote
FPL
2006
Springer
15 years 2 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
CBSE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
SPLC
2007
15 years 11 days ago
2007
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...