Quote: execution trace as object dereference; field load/store, array load/store w/o index, method call/return, object create, and end program

Quotation Skeleton

We abstract the program execution as a trace … list of attributes. … PQL focuses on objects, and so it only … [PQL records the following events:] @ Field loads and stores. … @ Array loads and stores. … The array index is ignored. @ Method calls … @ Object creations. … @ End of program.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: execution tracing (42 items)