Changes

Jump to: navigation, search

Abstract Interpretation

3 bytes added, 03:21, 31 July 2009
m
Control Flow Graphs
A little terminology:
* Each node is called a '''basic block''', often abbreviated '''BB'''. The defining feature of a basic block is that there is a single entry point and a single exit--, so basic blocks are straight-line code.
* In different sources, statements may be called ''statements'', ''instructions'', ''triples'' (of a destination and up to 2 operands), ''quadruples'' or ''quads'' (counting the operator), or even ''tuples''. We'll call them ''instructions'', as that's the name used in Treehydra code.
7
edits

Navigation menu