k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Origin of "Language Definitional Frameworks"

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] Origin of "Language Definitional Frameworks"
Date: Wed, 22 Jan 2014 21:01:16 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Dear all,

Does anyone know where the term "Language Definitional Framework" was
first coined? I seem to be able to track it as far as the following TR
by Feng, Mark, and Grigore: "A Rewrite Logic Approach to Semantic
Definition, Design and Analysis of Object-Oriented Languages." Am I
right? Or, is there a more precise source?

TIA,
--Hossein

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

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------

[K-user] Origin of "Language Definitional Frameworks", Seyed H. HAERI (Hossein), 01/22/2014
- Re: [K-user] Origin of "Language Definitional Frameworks", Rosu, Grigore, 01/22/2014
  - Re: [K-user] Origin of "Language Definitional Frameworks", Seyed H. HAERI (Hossein), 01/22/2014