From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4c459ff0adb576bc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-03 18:20:56 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: dewar@gnat.com (Robert Dewar) Newsgroups: comp.lang.ada Subject: Re: Refactoring and Ada Date: 3 Feb 2002 18:20:55 -0800 Organization: http://groups.google.com/ Message-ID: <5ee5b646.0202031820.7e7e01f0@posting.google.com> References: <3C5AB0B7.9D75D49A@grammatech.com> <5ee5b646.0202030548.5c471636@posting.google.com> NNTP-Posting-Host: 205.232.38.244 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1012789256 11342 127.0.0.1 (4 Feb 2002 02:20:56 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 4 Feb 2002 02:20:56 GMT Xref: archiver1.google.com comp.lang.ada:19573 Date: 2002-02-04T02:20:56+00:00 List-Id: "Nick Roberts" wrote in message news:... > Robert, this comment seems to demonstrate your lack of > understanding of the difference between refactoring and > automated code transformations in general. I suspect > that, actually, the task-to-protected-object > transformations you mention are only the latter. To me, automated code transformation is very broad (exemplified for example by the work of Robert Paige on formal differentiation of algorithms) and certainly encompass what has been relatively recently dubbed "refactoring". You must have something narrower in mind when you read the phrase. Look up Robert's work to get an idea of what I have in mind (or look up my paper on transformational derivation of a complex garbage collection algorithm :-)