ian@ipse2pt5.cs.man.ac.uk (Ian Cottam) (10/21/90)
I have only received two replies re my posting about
Language Transformation Toolkits. They are both included,
almost completely, below. Tom Wetmore, one of the responders,
also posted an interesting message to comp.compilers recently.
I think the Cornell Synthesizor Generator (from Cornell U, USA)
and the Mentor system (from INRIA, France) are also appropriate.
(Can anyone who is a recent user of either system care to comment?)
Many thanks to both Tom Wetmore and John Hartman.
-Ian Cottam
---------------------------------------
From: ttw@mvuxi.att.com
Date: Wed, 10 Oct 90 12:53 EDT
Subject: re: language transformation toolkit
Sender: ttw%com.att.mvuxi@att-in.att.com
.... The Advanced Software Products
Group of AT&T Bell Laboratories markets a tool that matches your
description almost exactly. The tool is called MetaTool(tm)
Specification-Driven Tool Builder. In fact, MetaTool (as I will call it)
goes beyond your description. MetaTool takes a description of a translator
and then generates it. The description is in two parts: a source
description that uses a grammatical model to describe what the ultimate
translator will read as input; and a product(s) description that uses a
template model to describe what the translator will translate the input
into. From these descriptions MetaTool automatically builds the translator.
MetaTool runs on UNIX only. It generates a YACC file, a LEX file,
lots of standard C files, and one C file for each product the new
translator is to produce. MetaTool also generates the MAKEFILE that builds
the translator from all the generated source code, and it also invokes the
MAKEFILE to build it. It is in fact a pretty magical tool.
If you want to read more about MetaTool, see the IEEE Software
magazine of July 1988. That article describes an earlier version of MetaTool
under its old, internal to AT&T name, STAGE.
Tom Wetmore
AT&T Bell Laboratories
ttw@mvuxi.att.com
(508)960-6015
-------------------------------------
From hartman@cs.utexas.edu Mon Oct 8 21:22:01 1990
Date: Mon, 8 Oct 90 15:10:24 cdt
Sender: hartman@cs.utexas.edu
Subject: Language transformation toolkit sought
You might contact:
Reasoning Systems
3260 Hillview Avenue
Palo Alto, CA 94304
USA
(415) 494-6201, (415) 494-8053 (fax)
Gordon Kotic, President
They have various tools including the REFINE program transformation
system.
For example, request their paper, "Program Transformation: The Key to
Automating Software Maintenance and Re-engineering," and product
information for REFINE, RETRANS Software Translation etc.
John Hartman
Artificial Intelligence Laboratory 512-471-9586 (office-TAY 5.144)
Dept. of Computer Sciences -471-8885 (fax)
TAY 2.124 -472-3606 (home)
The University of Texas at Austin hartman@cs.utexas.edu (Internet)
Austin, TX 78712-1188 {harvard,gatech,uunet}!cs.utexas.edu!hartman
_____________________________________
--
Ian Cottam, Room IT209, Department of Computer Science,
University of Manchester, Oxford Road, Manchester, M13 9PL, U.K.
Tel: (+44) 61-275 6157 FAX: (+44) 61-275-6280
Internet: ian%cs.man.ac.uk; JANET: ian@uk.ac.man.cs