Release: Similix 5.0 Scheme partial evaluator 
Author Message
 Release: Similix 5.0 Scheme partial evaluator

        -----------------------------------------------------
        -----------------------------------------------------
                            Release:

        Self-applicable partial evaluator for a Scheme subset

                           Similix 5.0

                    available via anonymous ftp
        -----------------------------------------------------
        -----------------------------------------------------

    How to get Similix by ftp is described in the end of this mail

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

                    General Description of Similix
                    ------------------------------

Similix is an autoprojector (self-applicable partial evaluator) for a
large higher-order subset of the strict functional language Scheme.
Similix treats source programs that use a limited class of
side-effects, for instance input/output operations. Similix handles
partially static data structures.

Similix is automatic: in general, no user annotations (such as
unfolding information) are required; user assistance may in some cases
be required to avoid looping, however. Similix gives certain
guarantees concerning the residual programs it generates: computations
are never discarded (partial evaluation thus preserves termination
properties) and never duplicated.

Similix is well-suited for partially evaluating for instance
interpreters that use environments represented as functions and
interpreters written in continuation passing style. Since Similix is
self-applicable, stand-alone compilers can be generated from
interpreters.

Similix is highly portable. It conforms to the IEEE and R4RS Scheme
standards, but it also runs under R3RS Scheme. This distribution
should immediately enable you to run Similix on Scm and on Chez
Scheme. We have tested this version of Similix on Scm version 4c0 and
on Chez Scheme version 3.2.

Similix 5.0 is based on the former Similix 4.0 (by Anders Bondorf and
Olivier Danvy). A part of Similix 5.0 has been written jointly by
Anders Bondorf and Jesper J{\o}rgensen.

The manual contains a section that summarizes some often used
binding-time improvements. These are needed in order to obtain good
results of partial evaluation. The section is partly Similix-specific,
but parts of it are of more general interest.

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

               Main improvements from Similix 4.0
               ----------------------------------

-- Similix 5.0 is highly portable.

-- A larger Scheme subset is handled, in particular internal
   definitions, letrec, and named (recursive) let.

-- Partially static data structures are now available.

-- User-defined constructors are now available (extension to Scheme).

-- Pattern-matching facilities are now available (extension to
   Scheme).

-- The preprocessing phase is much faster (e.g. binding-time
   analysis).

-- A trace facility for tracking infinite specialization is now
   available.

-- For binding-time debugging: the show-facility for inspecting
   preprocessed programs has been improved.

-- User-control of specialization/memoization point insertion is now
   possible; this enables dynamic choice of static values.

-- The file scheme.adt is now always automatically loaded, so
   user-programs need no longer contain the corresponding
   loadt-expression.

-- The manual has been improved in different ways; it now contains an
   index.

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

                        Mailing Address
                        ---------------

        Anders Bondorf
        DIKU, Department of Computer Science
        University of Copenhagen
        Universitetsparken 1
        DK-2100 Copenhagen \O
        Denmark


-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

                Obtaining Similix via anonymous ftp:
                ------------------------------------

          ftp ftp.diku.dk

login:    anonymous
password: <your username, full e-mail address>
          cd pub/diku/dists
          binary
          hash
          get Similix.tar.Z
          bye

To decode the file Similix.tar.Z, run

        uncompress < Similix.tar.Z | tar xvpf -

A directory named

        Similix

then appears. Now read the file Similix/README.

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------



Sat, 04 Nov 1995 16:59:30 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Release: Similix 5.0 Scheme partial evaluator

2. Release: Similix 5.0 Scheme partial evaluator

3. Release: Similix 5.0 Scheme partial evaluator

4. Scheme partial evaluator Similix ftp-available

5. Scheme partial evaluator Similix ftp-available

6. Scheme partial evaluator Similix ftp-available

7. Scheme partial evaluator Similix ftp-available

8. Partial Evaluation and Similix 5.0

9. Scheme partial evaluator?

10. Flowchart Language Partial Evaluator from Jones Book Available

11. partial evaluator

12. Flowchart Language Partial Evaluator from Jones Book Available

 

 
Powered by phpBB® Forum Software