code-2-code II

11karakitsos@unl.ac.uk (Giwrgos)
Tue, 7 Jun 1994 13:59:05 GMT

          From comp.compilers

Related articles
code-2-code II 11karakitsos@unl.ac.uk (1994-06-07)
| List of all articles for this month |
Newsgroups: comp.compilers
From: 11karakitsos@unl.ac.uk (Giwrgos)
Keywords: tools, summary
Organization: University of North London
Date: Tue, 7 Jun 1994 13:59:05 GMT

Dear friends,


thank you for your letters, on: code-to-code transformation tools


Please allow me to summarize some proposals and tools:


  Reasoning Systems, Company,
  Product Family for Automated Software Analysis and Transformation,
  Case Tool.


  Objective Systems SF AB, Company,
  Objectory,
  Case Tool.


  Intrasoft ltd, Company,
  Prosac,
  Case Environment.


  Reading Case Services, Company,
  REMOULD,
  Reverse engineering tool.


  Westmount UK ltd, Company,
  I-CASE,
  Case Tool set.


  CGI*LS3, Company,
  GSI Solutions,
  Industrial-Strenght Case.


  IPSYS software, Company,
  The IPSYS ToolBuilder, 1994
  Meta-CASE.


  Rational, Company,
  Rational Apex,
  Software Engineering Products.


  Bachman Inforamtion Systems Ltd, Company,
  CAPlink,
  OO modeller and analyst.


  TeleLOGIC, Company,
  SDT, SDL Design Tool.


  Rediffusion Simulation Ltd.,
  Structured Analysis and Maintainance


  High Army Research Centre
  Sorcerer/PCCTS


----------------------------------------------------------------------------
I am currently investigating the following information:
----------------------------------------------------------------------------
(please supply more information)


viren@net.soft.wipsys.wipro
"I was involved in the development of such a tool once"




hammondr@com.ge.crd.sungod
We've built a Fortran77 to Ada translator, a CMS-2 to Ada translator,
and an Ada to C translator. Our approach is to parse the input,
build an internal parse tree with semantics added and then walk that
tree to produce output.




PCCTS (which includes SORCERER).
This tool has proved tremendously useful for large projects that we do
here at the Army research center.




QUEST Flashport Services and Products (part of AT&T Bell Laboratories)
we make a binary-to-binary translator.


A similar product called PortASM is made by MicroAPL there in London.
Theirs (and ours) targets moving code from the 68000 based macintosh
to the new PowerPC Macintosh.


There is a similar translator at DEC (VAX to Alpha), but it switches
into emulation when it can't figure the flow of control of the
original program. Insignia's SoftPC approaches the problem from the
other end: they have an emulator which will translate blocks of code
at run time to improve performance. Finally, there are "traditional"
emulators that just emulate each instruction as they see it.




Sage++ source->source transformation tool. If you have
access to the WWW, check out:
http://www.cica.indiana.edu/sage/home-page.html Mon Jan 17 17:05:10 1994
pC++/Sage++ Information Home Page (ftp ftp.cica.indiana.edu)




I am also aware of TXL (ftp.qucis.queensu.ca). Distribution has become
restricted recently, but an academic user should have no problems.




FINALLY, there is some information on PATRIS (my tool) on:
unl.ac.uk - usersa:[11karakitsos.help]px.ps and px.doc (word2)


----------------------------------------------------------------------------
Please, send your opinions on the above tools, or the "missing" information.
----------------------------------------------------------------------------




A lot of papers, theses and books have been proposed.
Please, allow me a week to sort things out.


Best regards,
Giorgos.
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.