Editing REDO

[[Image:redo.gif|left|176px|REDO]]
[[Image:ecstars-small.gif|right|122px]]

'''<big><center>REDO project archive</center></big>'''

This archive contains information relevant to the {{wp|ESPRIT}} II REDO project (no. 2487, 1989–1992) concerned with {{wp|software maintenance}} and {{wp|reverse engineering}}. Some files and [[#Tools|tools]] are available via [ftp://ftp.comlab.ox.ac.uk/pub/Documents/redo/  anonymous FTP]. An [ftp://ftp.comlab.ox.ac.uk/pub/Documents/redo/00index index] and a [ftp://ftp.comlab.ox.ac.uk/pub/Documents/redo/README <tt>README</tt>] file are available.

See also [[PRECC|''PRECCX'' compiler compiler]].

{{clr}}
----

==Personnel==

The main [http://web.comlab.ox.ac.uk/  OUCL] project personnel were:

* [[Jonathan Bowen]] (site manager), now at [http://www.lsbu.ac.uk/  London South Bank University], UK.
* [http://www.it.uc3m.es/~ptb/  Peter Breuer], now at [http://www.it.uc3m.es/  Universidad Carlos III de Madrid], Spain.
* [http://www.dcs.kcl.ac.uk/staff/kcl/  Kevin Lano], now at [http://www.dcs.kcl.ac.uk/  Department of Computer Science], [http://www.kcl.ac.uk/  King's College London], UK.

==Publications==

There are bibliographies of [ftp://ftp.comlab.ox.ac.uk/pub/Documents/redo/reports.bib  project reports] and [ftp://ftp.comlab.ox.ac.uk/pub/Documents/redo/redo.bib  publications] in BibTeX database format, some of which are available on-line. The following may be of particular interest:

* ''A PREttier Compiler-Compiler: Generating Higher Order Parsers in C'', Peter Breuer and Jonathan Bowen. ''Software — Practice and Experience'' '''25'''(1):1263-1297, November 1995. See also Programming Research Group Technical Report [http://web.comlab.ox.ac.uk/oucl/publications/tr/TR-20-92.html  PRG-TR-20-92], 25pp, November 1992.
* [http://web.archive.org/web/20050131081141/http://www.jpbowen.com/pub/enum5-n.pdf ''Decompilation: The Enumeration of Types and Grammars''], Peter Breuer (Universidad Polit�cnica de Madrid) and Jonathan Bowen. [http://www.acm.org/toplas/  ''ACM Transactions on Programming Languages and Systems (TOPLAS)''], '''16'''(5), pp 1613-1647, September 1994. <br /> Previously issued as Programming Research Group Technical Report [http://web.comlab.ox.ac.uk/oucl/publications/tr/TR-11-92.html  PRG-TR-11-92], 28pp, May 1992.
* [http://web.archive.org/web/20041022055020/http://www.jpbowen.com/pub/jsm.pdf ''From Programs to Object Code and back again using Logic Programming: Compilation and Decompilation''], Jonathan Bowen. [http://www.interscience.wiley.com/jpages/1040-550X  Journal of Software Maintenance: Research and Practice], '''5'''(4), pp 205-234, December 1993.
* [http://web.archive.org/web/20050131064821/http://www.jpbowen.com/pub/sum-ist.pdf ''Formal Specifications in Software Maintenance: From code to Z++ and back again''], Jonathan Bowen, Peter Breuer and Kevin Lano. [http://www.elsevier.nl/locate/infsof  Information and Software Technology], '''35'''(11/12), pp 679-690, November/December 1993.
* [http://web.archive.org/web/20031210025236/http://www.jpbowen.com/pub/sum-sej.pdf ''A Compendium of Formal Techniques for Software Maintenance''], Jonathan Bowen, Peter Breuer (Universidad Polit�cnica de Madrid) and Kevin Lano (Lloyd's Register). [http://www.iee.org.uk/ IEE]/[http://www.bcs.org.uk BCS] Software Engineering Journal, '''8'''(5), pp 253-262, September 1993.
* ''Decompilation'', Jonathan Bowen and Peter Breuer. Chapter 10 in Henk van Zuylen (ed.), ''The REDO Compendium: Reverse Engineering for Software Maintenance'', [http://www.wiley.com/  John Wiley & Sons], pp 131-138, 1993.
* [ftp://ftp.comlab.ox.ac.uk/pub/Documents/redo/code-spec.ps.Z  ''Creating Specifications from Code: Reverse Engineering Techniques''], Peter Breuer and Kevin Lano, Journal of Software Maintenance: Research and Practice, '''3''', pp 145-162, 1991.
* ''Understanding Programs through Formal Methods'', Peter Breuer and Kevin Lano and Jonathan Bowen. Chapter 15 in Henk van Zuylen (ed.), ''The REDO Compendium: Reverse Engineering for Software Maintenance'', [http://www.wiley.com/  John Wiley & Sons], pp 195-223, 1993. Also previously issued as a Programming Research Group Technical Report [http://web.comlab.ox.ac.uk/oucl/publications/tr/TR-15-91.html  PRG-TR-15-91].
* ''Reverse Engineering COBOL via Formal Methods'', Kevin Lano, Peter Breuer and Howard Haughton. Chapter 16 in Henk van Zuylen (ed.), ''The REDO Compendium: Reverse Engineering for Software Maintenance'', [http://www.wiley.com/  John Wiley & Sons], pp 225–248, 1993.
* [http://web.archive.org/web/20050131070815/http://www.jpbowen.com/pub/preccx-uug.pdf ''The PRECC Compiler-Compiler''], Peter Breuer and Jonathan Bowen. In Elwyn Davies and Andrew Findlay (eds.), ''Proc. UKUUG/SUKUG Joint New Year 1993 Conference'', Oxford, UK, 6–8 January 1993. UKUUG/SUKUG Secretariat, Owles Hall, Buntingford, Herts SG9 9PL, UK, pp 167–182, 1993.
* [http://web.archive.org/web/20060221161016/http://www.jpbowen.com/pub/toulouse92.pdf ''Occam's Razor: The Cutting Edge of Parser Technology''], Jonathan Bowen and Peter Breuer. In ''Proc. TOULOUSE 92: Fifth International Conference on Software Engineering and its Applications'', Toulouse, France, 7–11 December 1992. Available from EC2, 269/287 rue de la Garenne, 92024 Nanterre Cedex, France.
* [http://web.archive.org/web/20050131061101/http://www.jpbowen.com/pub/wsa92.pdf ''Decompilation ''is'' the Efficient Enumeration of Types''], Peter Breuer and Jonathan Bowen. In M. Billaud ''et al.'' (eds.), ''Journ&eacute;es de Travail WSA'92 Analyse Statique'', Bordeaux, France, 23–25 September 1992, BIGRE '''81–82''', IRISA-Campus de Beaulieu, F-35042 Rennes cedex, France, pp 255–273, 1992.
* [http://web.archive.org/web/20050131084357/http://www.jpbowen.com/pub/TR-5-89.pdf ''User Interface Languages: A survey of existing methods''], Gregory Abowd, Jonathan Bowen (Oxford University) and Alan Dix, Michael Harrison and Roger Took (University of York). Programming Research Group Technical Report [http://web.comlab.ox.ac.uk/oucl/publications/tr/TR-5-89.html  PRG-TR-5-89], 65pp, October 1989.

Note that for published journal papers, only the original drafts are available online. See the journal for the final (improved) versions.

[[Image:redo-book-cover.jpg|100px|right|thumbnail|[[The REDO Compendium]]]]

==Books and reports==

* ''The REDO Compendium: Reverse Engineering for Software Maintenance'', edited by H.J. van Zuylen ([http://www.wiley.com/ John Wiley & Sons], 1993, ISBN 0-471-93607-3) summarizes the work of the entire project.  Order from [http://www.amazon.co.uk/exec/obidos/ASIN/0471936073/booksearch06  Amazon UK] or [http://www.amazon.com/exec/obidos/ASIN/0471936073/bookseaiam  Amazon USA].
* ''Reverse Engineering and Software Maintenance: A Practical Approach'' by  Kevin Lano and Howard Haughton ([http://www.books.mcgraw-hill.com/ McGraw-Hill], International Series in Software Engineering, 1993, ISBN 0-07-707897-7) was completed largely as a result of experience gained on the project.

Other [http://web.comlab.ox.ac.uk/  OUCL] [http://web.comlab.ox.ac.uk/oucl/publications/tr.html  Technical Reports] by [http://www.jpbowen.com/  Jonathan Bowen],  Peter Breuer and  Kevin Lano are available. (E.g., see [http://web.comlab.ox.ac.uk/oucl/publications/tr/TR-23-91.html  ''The REDO project: final report''].) OUCL and REDO project reports are available from the [http://web.comlab.ox.ac.uk/oucl/people/librarian.html  OUCL librarian] (email [mailto: library@comlab.ox.ac.uk  ''library@comlab.ox.ac.uk'']).

==Further work==

* [http://web.archive.org/web/20050131083526/http://www.jpbowen.com/pub/decomp-tr98.pdf ''Generating Decompilers''], Peter Breuer (Universidad Carlos III de Madrid)  and Jonathan Bowen. RUCS Technical Report, Department of Computer Science, The University of Reading, October 1998.

==Tools==

A [[PRECC|''PRECCX'' compiler compiler tool]] was produced on the project and is available on-line. After the end of the REDO project, the company <!-- http://vl.fmnet.info/redo/piercom.html --> [http://www.piercom.ie/ Piercom] commercialized some of the tools initially developed on the project.

==Other related work==

* Research by the ESPRIT '''[[ProCoS]]''' project on provably correct compilation inspired the work on decompilation.
* [http://mosaic.reasoning.com/REFINE-Language-Tools.html  REFINE] language tools from [http://mosaic.reasoning.com/  Reasoning Systems, Inc.]
* Information on [http://www.erg.abdn.ac.uk/users/brant/sre/  re-engineering] (especially [http://www.erg.abdn.ac.uk/users/brant/sre/re_research.html  research]).
* [[Formal methods]] in general in the [http://www.vlib.org/  WWW Virtual Library] on the [http://www.w3.org/  World Wide Web].
* [http://www.dur.ac.uk/CSM/  Research Institute in Software Evoluation], formerly the Centre for Software Maintenance, [http://www.dur.ac.uk/computer.science/  Department of Computer Science], [http://www.dur.ac.uk/  University of Durham], UK:
** [http://www.dur.ac.uk/martin.ward/martin/papers/  Papers] by [http://www.dur.ac.uk/martin.ward/  Martin Ward] on [http://wombat.doc.ic.ac.uk/?reverse+engineering  reverse engineering] may be of related interest.
** [http://www.dur.ac.uk/CSM/themes/formal/ReForm.html  ReForm project]<nowiki>: From assembler to </nowiki>[http://vl.zuser.org/  Z] using [http://www.dur.ac.uk/CSM/themes/formal/  formal] transformations. The project produced the  Maintainer's Assistant, a tool for reverse engineering and re-engineering code using formal methods.
* [http://www.smltd.com/  Software Migrations Limited].
* [http://www.piercom.ie/  Piercom Ltd], Limerick, Ireland.
* [http://www.cs.utwente.nl/~faase/Ha/decompile.html  Decompiling] information by [http://www.cs.utwente.nl/~faase/  Frans Faase].
* [http://www.glossa.co.uk/reap.html  REAP tools] from [http://www.glossa.co.uk/  InterGlossa Ltd.] to aid the understanding and reuse of low-level computer languages and program formats.
* [http://www.year2000.com/  The Year 2000 Information Center]. See also the [http://www.dur.ac.uk/CSM/themes/year2000/  Year 2000 Strategy Group].
* [http://www.y2ktoday.com/  Year 2000 Information Portal].
* [http://www.mfltd.co.uk/year2000/  Year 2000] information.
* [http://www.csee.uq.edu.au/csm/decompilation/  Decompilation Page] including a [http://www.csee.uq.edu.au/csm/decompilation/history.html  History of Decompilation]. A useful resource and good survey. See also the [http://www.cs.uq.edu.au/groups/csm/dcc.html  <tt>dcc</tt> decompiler] (i386 DOS to C programs).
* [http://www.springstone.co.uk/16bit/decompil.htm  Decompiling services] from [http://www.springstone.co.uk/  Springstone], UK.
* [http://www.DevDaily.com/java/edu/pj/pj010021/  Decompiling Java class files].
* [http://www.reengineer.org/  Reengineering Forum].
* [http://www.program-transformation.org/twiki/bin/view/Transform/ReverseEngineering  Reverse Engineering] and the [http://www.program-transformation.org/twiki/bin/view/Transform/DeCompilation  Decompilation Page] from [http://www.program-transformation.org/  Program-Transformation.Org].

----

For further information, please contact <!-- [mailto:redo-request@comlab.ox.ac.uk  ''redo-request@comlab.ox.ac.uk''], --> [[Jonathan Bowen]].[[Category:Projects]]
[[Category:REDO| ]]
[[Category:1989]]