From: PEM moderator
To:
Date: Wed, 2 Apr 2003 12:12:24 +0200
Subject: PEM meeting |  3.04.03 | M280

Precedence: bulk
X-url: http://www.cwi.nl/~pem

Mime-Version: 1.0
Content-Type: text/plain

   Contrary to the previous message about this PEM:
   **** It will be at 10:00 ****

   This announcement can be found at <http://www.cwi.nl/~pem>

                      An Action Semantics Environment

   Date:     3.04.03
   Time:    10:00
   Venue:   M280
   Speaker: Jørgen Iversen
   Title:   An Action Semantics Environment

   The  talk will outline how the ASF+SDF Meta-Environment can be used to
   implement  an environment for working with Action Semantics (AS). This
   environment will support

     * Structure editing of actions
     * Giving AS descriptions of programming languages
     * Type checks of actions and semantic functions
     * AS based compiler generation

   We  will give a demo of the parts of the environment which are already
   implemented. The talk will also contain a brief introduction to AS.

   Action Semantics:

   AS was developed by Mosses and Watt in the late 1980's, as a framework
   for giving semantics to full scale (real world) programming languages.
   As  opposed  to the traditional semantic frameworks, like conventional
   denotational  and operational semantics, the inherent modularity of AS
   supports   an   incremental  development  of  a  semantics  for  large
   programming  languages.  The  resemblance  with  spoken English, while
   still  remaining  formal,  makes AS useful for documentation, and will
   hopefully make the use of semantics more widespread.

   Links:

   AS homepage

   http://www.brics.dk/Projects/AS  A summary of Action Notation (used to
   write AS)

   http://www.brics.dk/~pdm/papers/LassenMossesWatt-AN-2-Summary/paper.ps

   Homepage of a course on AS given at Aarhus University

   http://wiki.daimi.au.dk:8000/PAGT-03/PAGT-03.wiki 
     _________________________________________________________________

   The  programming environment meetings are a forum for the presentation
   and  discussion  of  new  ideas,  ongoing and finished work. A typical
   meeting  addresses  a subject in the area of programming environments,
   program  generation, algebraic specification, term rewriting, parsing,
   etc.  A presentation ideally takes between 45 and 90 minutes. Meetings
   taking  longer  than 45 minutes are interrupted by a coffeebreak. Most
   Thursdays,  a  meeting is held which starts at 10:00 am. in one of the
   rooms at CWI/WINS. Exceptionally, dates or times may change.

   The    program    of    the    meetings    is    available   on   WWW:
   http://www.cwi.nl/~pem
     _________________________________________________________________