Peter T. Breuer, Jonathan P. Bowen  Home/Search
Context Related
| comlab.ox.ac.uk/pub/Docume...decomp5.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.rdg.ac.uk/peopl...publications (more) Homepages: J.Bowen |
Rate this article:      (best)Comment on this article |
Abstract: Compiler compilers are in widespread use, but decompiler compilers are a more novel concept. This paper sets out a technique for the decompilation of object code back to source code, and describes a working decompiler generator. Existing and potential applications include reverse engineering, quality assessment, debugging and safety-critical code validation or verification. (Update)
Cited by: More
From Programs to Object Code and back again using Logic.. - Bowen (1993) (Correct)
Similar documents (at the sentence level):
68.4%: Generating Decompilers - Breuer, Bowen (1998) (Correct)
Active bibliography (related documents): More All
1.2: Decompilation: The Enumeration of Types and Grammars - Breuer, Bowen (1992) (Correct)
0.3: A PREttier Compiler-Compiler: Generating Higher-order Parsers in .. - Breuer, Bowen (1995) (Correct)
0.2: Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (Correct)
Similar documents based on text: More All
0.8: Decompilation of Binary Programs - Cifuentes, Gough (1995) (Correct)
BibTeX entry: (Update)
Breuer, P.T. and Bowen, J.P. (1992d). `Generating Decompilers', Draft, Oxford University Computing Laboratory. Submitted for publication. http://citeseer.ist.psu.edu/article/breuer92generating.html More
@techreport{ breuer-generating,
author = "Peter T. Breuer and Jonathan P. Bowen",
title = "Generating Decompilers",
institution = "Oxford University Computing Laboratory",
year = 1992,
url = "citeseer.ist.psu.edu/article/breuer92generating.html" }
Citations (may not include all citations):1002 Programming Language (context) - Stroustrup - 1991
66 Attribute grammars as a functional programming paradigm - Johnsson - 1987
54 formal methods and standards (context) - Bowen, Stavridou et al. - 1993
41 PrenticeHall Software Series (context) - Kernighan, Ritchie et al. - 1988
26 Language development tools (context) - Johnson, Lesk - 1978
25 An algebraic approach to verifiable compiling specification .. - Hoare, Jifeng et al. - 1990
24 Oxford University Press (context) - Illingworth, Dictionary et al. - 1990
22 The verification of low-level code (context) - Clutterbuck, Carr'e - 1988
21 A PREttier Compiler-Compiler: Generating Higher Order Parser.. - Breuer, Bowen - 1992
21 Creating specifications from code: Reverse engineering techn.. - Breuer, Lano - 1991
20 From programs to object code and back again using logic prog.. - Bowen
15 Demonstrating equivalence of source code and PROM contents (context) - Pavey, Winsborrow - 1992
12 Decompilation of control-structures by means of graph-transf.. (context) - Lichtblau - 1985
10 The PRECC Compiler-Compiler - Breuer, Bowen - 1993
10 The REDO Compendium: Reverse Engineering for Software Mainte.. (context) - van Zuylen - 1993
10 A compendium of formal techniques for software maintenance - Bowen, Breuer et al. - 1993
8 Decompilation is the efficient enumeration of types (context) - Breuer, Bowen - 1992
7 Case study: The space shuttle primary computer system (context) - Spector, Gifford - 1984
7 Recognizing rooted context-free flowgraph languages in polyn.. (context) - Lichtblau - 1991
5 Overview of reverse engineering and reuse research (context) - Hall - 1992
5 Decompiling CODASYL DML into relational queries (context) - Katz, Wong - 1982
4 Fast decompilation of compiled Prolog clauses (context) - Buettner - 1986
4 IFIP Transactions A - Computer Science and Technology Vol (context) - Turner, programming - 1992
4 Programming Research Group Technical Report PRG-TR (context) - Breuer, Bowen et al. - 1992
4 Object-Oriented Software Engineering with C (context) - Ince - 1991
4 Decompilation questions slow implementation of EC software l.. (context) - Cheek - 1993
4 RIA technical specification No (context) - Safety, for et al. - 1991
3 Parliamentary Under Secretary of State (context) - Leigh - 1992
3 Dr Dobbs Journal Vol 13 No (context) - May, decompiler - 1988
3 Information and Software Technology Vol 33 No (context) - Bennett, of et al. - 1991
3 Definite Clause Grammars for Knowledge Interchange during Kn.. (context) - Mengshoel - 1993
Documents on the same site (http://www.cs.rdg.ac.uk/people/jpb/publications.html): More
Hardware Compilation of the ProCoS Gas Burner Case Study using.. - Bowen (1996) (Correct)
Decompilation: The Enumeration of Types and Grammars - Breuer, Bowen (1992) (Correct)
Generating Decompilers - Breuer, Bowen (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC