If you made any changes in Pure these will be visible here soon.

Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

  • 3 Similar Profiles
Attribute Grammars Mathematics
Computer programming languages Engineering & Materials Science
Specifications Engineering & Materials Science
Specification languages Engineering & Materials Science
Semantics Engineering & Materials Science
Silver Engineering & Materials Science
Temporal logic Engineering & Materials Science
Compiler Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2004 2019

Research Output 1997 2017

Ensuring non-interference of composable language extensions

Kaminski, T. & Van Wyk, E., Oct 23 2017, SLE 2017 - Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2017. Association for Computing Machinery, Inc, p. 163-174 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Context free grammars
Program compilers
Computer programming languages
Semantics
Specifications

Type Qualifiers as Composable Language Extensions

Carlson, T. & Van Wyk, E., Oct 23 2017, GPCE 2017 - Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2017. Association for Computing Machinery, Inc, p. 91-103 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Forms (concrete)
Concretes
2 Citations

Embedding attribute grammars and their extensions using functional zippers

Martins, P., Fernandes, J. P., Saraiva, J., Van Wyk, E. & Sloane, A., Dec 15 2016, In : Science of Computer Programming. 132, p. 2-28 27 p.

Research output: Contribution to journalArticle

Specification languages
Fasteners
Specifications
Processing
1 Citations

A modular specification of Oberon0 using the Silver attribute grammar system

Kaminski, T. & Van Wyk, E., Dec 15 2015, In : Science of Computer Programming. 114, p. 33-44 12 p.

Research output: Contribution to journalArticle

Specification languages
Silver
Specifications

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014)

Combemale, B., Pearce, D. J., Paige, R. F. & Van Wyk, E., Jan 1 2015, In : Computer Languages, Systems and Structures. 44, p. 1-2 2 p.

Research output: Contribution to journalEditorial