|
8
|
A Structuring Algorithm for Decompilation
– Cristina Cifuentes
- 1993
|
|
5
|
Using hammock graphs to structure programs
– Fubo Zhang, Erik H. D’holl
- 2004
|
|
6
|
A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis
– Judith A. Stafford
- 2000
|
|
|
The Böhm–Jacopini Theorem is False, Propositionally
– Dexter Kozen, Wei-lung Dustin Tseng
|
|
82
|
Decompilation of Binary Programs
– Cristina Cifuentes, K. John Gough
- 1995
|
|
2
|
SETL for Internet Data Processing
– David Bacon
- 2000
|
|
23
|
Assembly to High-Level Language Translation
– Cristina Cifuentes, Doug Simon, Antoine Fraboulet
- 1998
|
|
51
|
Elimination algorithms for data flow analysis
– Barbara G. Ryder, Marvin C. Paull
- 1986
|
|
38
|
A Control-Flow Normalization Algorithm and Its Complexity
– Zahira Ammarguellat
- 1992
|
|
9
|
From Business Process Models to Process-oriented Software Systems: The BPMN to BPEL Way ⋆
– Chun Ouyang, Marlon Dumas, Arthur H. M. Ter Hofstede
|
|
|
Extracting the Parallelism in Program with non-structured statements
– Fubo Zhang, Erik H. D'Hollander
- 1994
|
|
4
|
A Methodology for Decompilation
– Cristina Cifuentes, K. John Gough
- 1993
|
|
|
unknown title
– R. M. Hierons, M. Harman, C. J. Fox
|
|
2
|
A Goto-Elimination Method And Its Implementation For The McCat C Compiler
– Ana Maria Erosa
- 1995
|
|
41
|
Taming Control Flow: A Structured Approach to Eliminating Goto Statements
– Ana Erosa, Laurie J. Hendren
- 1994
|
|
13
|
Making Graphs Reducible with Controlled Node Splitting
– Johan Janssen, Henk Corporaal
- 1997
|
|
1
|
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions ∗
– Nerina Bermudo, Andreas Krall
|
|
30
|
Intraprocedural Static Slicing of Binary Executables
– Cristina Cifuentes, Antoine Fraboulet
- 1997
|
|
4
|
Folklore Confirmed: Reducible Flow Graphs are Exponentially Larger
– Larry Carter, Jeanne Ferrante, Clark Thomborson
- 2003
|
