K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

OK Grigore. That was prompt and generous. Thanks. :)

On 22 January 2014 21:24, Rosu, Grigore 
<grosu AT illinois.edu>
 wrote:
> 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



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

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/
--------------------------------------------------------------------------------------------------------------