Newsgroups: de.sci.ki.announce,ch.si.general,ch.si.sgaico,comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!news.kei.com!simtel!fu-berlin.de!zrz.TU-Berlin.DE!news.belwue.de!news.belwue.de!scsing.switch.ch!josef!ifimac65.ifi.unizh.ch!user
From: fuchs@ifi.unizh.ch (Norbert E. Fuchs)
Subject: New TR: Enhanced Schema-Based Transformations for Logic Programs
Message-ID: <fuchs-0706951434500001@ifimac65.ifi.unizh.ch>
Sender: news@ifi.unizh.ch (USENET News Admin)
Nntp-Posting-Host: ifimac65
Organization: IFI University of Zurich
Date: Wed, 7 Jun 1995 13:34:50 GMT
Lines: 50

The following technical report is available by anonymous ftp from

   ftp.ifi.unizh.ch [130.60.48.8] in pub/techreports

Log in as "anonymous", use your email address as your password,  specify
"binary" before getting the file. Uncompress before  printing. 

The directory pub/techreports contains a file INDEX listing all technical
reports currently available.


Alternatively, the report can be obtained via WWW. Use the URL

   http://www.ifi.unizh.ch/techreports/

and continue to the directory you are interested in.


(File pub/techreports/ifi-95.16.ps.Z)

%0 Report
%A Vasconcelos, Wamberto W. 
%A Fuchs, Norbert E.
%D 1995
%TEnhanced Schema-Based Transformations for Logic Programs and their
Opportunistic Usage in Program Analysis and Optimisation
%I Department of Computer Science, University of Zurich
%R 95.16
%XA program schema is a generic description of a program in a suitable
language were its important features can be highlighted and irrelevant
details disregarded. In this research note we introduce some enhancements
made to the proposal of using program schemata to guide program
transformations. These transformations are syntactic alterations carried out
in logic programs preserving the meaning of the initial program and
improving its execution. By allowing the reference to any argument position
within a predicate and introducing extra facilities to address common
constructs in a generic fashion a greater number of programs can be
abstracted by the same schema. We also describe in this note a realistic
context to perform program transformations in which an opportunistic
approach is taken during the analysis of a program: every possible way to
improve it is attempted, either by examining each procedure in an isolated
fashion, or by checking for conjunctions within clauses that can be used as
joint specifications.

--------------------------------------------------------------------
Norbert E. Fuchs                        Telephone +41-1-257 43 13
Department of Computer Science          Fax       +41-1-363 00 35
University of Zurich                    Email     fuchs@ifi.unizh.ch
CH-8057 Zurich, Switzerland
--------------------------------------------------------------------
