Changes

Jump to: navigation, search

Abstract Interpretation

28 bytes added, 22:06, 15 May 2008
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--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.
313
edits

Navigation menu