Abstract: Processes and associated programs are described for structuring program code, comprising the steps of: procuring a single entry point reducible control flow graph representing at least a portion of an input program code; detecting in the control flow graph cycles with single entry points and marking such cycles as loops; detecting potential conditional structures in the control flow graph; scanning the detected conditional structures in a descending depth first search sequence, marking as conditional structures those of said detected potential conditional structures wherein no path from the header node of the structure to the first node of the structure where any two paths from the header meet is crossed with a marked loop or a previously marked conditional structure, whereby loop structures and conditional structures corresponding to the marked loops and conditional structures may be introduced into a syntax tree representing the program code portion in such a way that branch statements remaining in the prog

Abstract: A licence file for a software element readable by a licence management module to control use of the software element, the licence file having an associated licence identifier,

Abstract: A process and associated programs are described for structuring program code, comprising the steps of: procuring a syntax tree representative of an input program code; replacing at least some jump statements in the input program code by one-shot loops by introducing loop structure nodes directly in the syntax tree to depend from a common ancestor of the jump statement and the target thereof, the basic blocks in the same branches of the syntax tree as the jump statement and its target and the branches inbetween being moved to depend from the introduced loop structure node, the jump statement being replaced by a break or continue statement so that the syntax tree corresponds to an output program code having functionality substantially equivalent to that of the input program code.

Abstract: A process and associated programs are decribed for structuring program code, comprising the steps of: procuring a syntax tree representative of an input program code; procuring a control flow graph representing the control flow of said input program code; collapsing nodes of the control flow graph so as to obtain a derived graph in which the nodes are each single entry point reducible control flow sub-graphs of the control flow graph; structuring program code corresponding to each sub-graph so that at least some goto statements in the input program code are represented by loops or conditional structures; defining subprograms each based on one of said structured subgraphs, so that the subprograms can be chained in accordance with the derived graph to form output program code having functionality substantially equivalent to that of the input program code.