Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
∅ Y.Lei
Talks about:
languag (2) specif (2) metalanguag (1) implement (1) axiomat (1) minim (1) tini (1)
Person: Walter W. Wilson
DBLP: Wilson:Walter_W=
Contributed to:
Wrote 3 papers:
- SEKE-2012-WilsonL #metalanguage #specification
- A Tiny Specification Metalanguage (WWW, YL), pp. 486–490.
- ICLP-2011-Wilson #axiom #implementation
- Implementation of Axiomatic Language (WWW), pp. 290–295.
- LOPSTR-2000-Wilson #specification
- A minimal specification language (WWW).