Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Tue, 31 May 1994 14:16:00 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA28354;
          Tue, 31 May 1994 07:01:12 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA28350;
          Tue, 31 May 1994 07:01:03 -0600
Received: from irafs1.ira.uka.de by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA13475;
          Tue, 31 May 1994 06:00:37 -0700
Received: from i80fs2.ira.uka.de (actually i80fs2) by irafs1 with SMTP (PP);
          Tue, 31 May 1994 14:56:04 +0200
Received: from ira.uka.de by i80fs2.ira.uka.de id <28359-0@i80fs2.ira.uka.de>;
          Tue, 31 May 1994 15:02:31 +0200
Date: Tue, 31 May 94 15:02:29 EDT
From: reetz <reetz@ira.uka.de>
To: info-hol@cs.uidaho.edu, Richard.Boulton@cl.cam.ac.uk
Subject: new library "generator" available
Message-Id: <"i80fs2.ira.361:31.04.94.13.02.35"@ira.uka.de>

I'm glad to announce that the library for the paper

"Simplifying Deep Embedding: A Formalised Code Generator"
Ralf Reetz and Th. Kropf
HUG 94, Malta

is now available by anonymous ftp from

goethe.ira.uka.de

in

/pub/software/generator

From the README:

This is the library "generator", which simplifies the formalisation method
``deep embedding'' for a system with syntax and semantics in the following 
way: a formalisation of the syntax described by a context--free grammar is
automatically generated and a formalisation of the complete semantics for the
given syntax is simplified by automatically generating a formal code 
generator out of a formalised context--restricted semantics.

Ralf.

(*****************************************************************************)
(*                                                                           *)
(*  Ralf Reetz                            SFB 358 of the german research     *)
(*  reetz@informatik.uni-karlsruhe.de     society (DFG)                      *)
(*  reetz@ira.uka.de                      University of Karlsruhe, Germany   *)
(*                                                                           *)
(*                "we prove around in a ring and suppose,                    *)
(*                 the goal sits right in the middle and knows."             *)
(*                                                                           *)
(*****************************************************************************)