K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

Hossein,

I would be embarrassed to be given credit for such an obvious term.  My PhD 
adviser, Joseph Goguen, used it  as part of his active vocabulary in 
meetings, and so did other people he talked to.  Probably people just used it 
since the beginning of forever, so you can just use it, too, without worrying 
about giving credit to anybody.  Somehow similar to "case study", "proof of 
concept", "proof engineering", etc.

Grigore



________________________________________
From: 
k-user-bounces AT cs.uiuc.edu
 
[k-user-bounces AT cs.uiuc.edu]
 on behalf of Seyed H. HAERI (Hossein) 
[hossein.haeri AT gmail.com]
Sent: Wednesday, January 22, 2014 2:01 PM
To: 
k-user AT cs.uiuc.edu
Subject: [K-user] Origin of "Language Definitional Frameworks"

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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user