Travelled to:
1 × USA
Collaborated with:
E.Visser G.Wachsmuth A.P.Tolmach P.Neron V.A.Vergu A.Passalaqua
Talks about:
languag (2) design (2) workbench (1) implement (1) verif (1) stop (1) shop (1) one (1)
Person: Gabrieël Konat
DBLP: Konat:Gabrie=euml=l
Contributed to:
Wrote 1 papers:
- Onward-2014-VisserWTNVPK #design #implementation #verification
- A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs (EV, GW, APT, PN, VAV, AP, GK), pp. 95–111.