1 Hit in 2.5 sec

From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach [chapter]

Jens Knoop
1999 Lecture Notes in Computer Science  
On the other hand, abstract interpretation provides a unifying access to program analysis.  ...  Basically, we proceed by extracting the abstract kernel from the standard analysis framework, which we then consider under a generic perspective.  ...  From the perspective of a DFA-designer this unifying approach simplifies to switch between paradigms as well as to transfer analyses beyond paradigm boundaries.  ... 
doi:10.1007/3-540-49059-0_25 fatcat:ayepr6dncbckzoc6erwzdbzqhi