O'Reilly logo

Aspect-Oriented Programming with the e Verification Language by David Robinson

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 8. Analyzing e Code

 

Who cares how it works, just as long as it gives the right answer?

 
 --Jeff Scholnik

Inormally find myself asking two simple questions when I try to understand a verification environment’s architecture or operation:

  • “Where is that declared?”

  • “What exactly is getting executed?”

It doesn’t matter whether the code belongs to someone else or whether I’m simply revisiting some of my code after an absence; after a certain amount of time away from a particular area of the verification environment I forget the exact details of how it does what it does. Even if a verification environment follows the guidelines in Chapter 3, it can still be tricky to work out what aspect some functionality belongs to or what file in the aspect contains ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required