Travelled to:
1 × USA
Collaborated with:
Y.A.Ameur F.Besnard P.Girard G.Pierra
Talks about:
metaprogram (1) languag (1) express (1) specif (1) formal (1)
Person: Jean-Claude Potier
DBLP: Potier:Jean=Claude
Contributed to:
Wrote 1 papers:
- SEKE-1995-Ait-AmeurBGPP #metaprogramming #specification
- Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.