coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq metamodel

From: Adam Chlipala <adamc AT csail.mit.edu>
To: fengsheng <fsheng1990 AT 163.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq metamodel
Date: Tue, 18 Jun 2013 11:50:28 -0400

On 06/17/2013 01:01 AM, fengsheng wrote:

I'm working on a project which trys to transform the UML model to Coq by
using Kermeta.I am confused by the coq metamodel found in the Internet:

Some advice on why you are probably not getting useful responses: I bet almost no one on this mailing list knows what a metamodel is, let alone which Coq metamodel you are referring to from some place on the Internet.

[Coq-Club] Coq metamodel, fengsheng, 06/04/2013
- Re: [Coq-Club] Coq metamodel, Beta Ziliani, 06/04/2013
- <Possible follow-up(s)>
- [Coq-Club] Coq metamodel, fengsheng, 06/17/2013
  - Re: [Coq-Club] Coq metamodel, Adam Chlipala, 06/18/2013