If you made any changes in Pure, your changes 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.

  • 4 Similar Profiles
Attribute Grammars Mathematics
Specifications Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Specification languages Engineering & Materials Science
Silver Engineering & Materials Science
Temporal logic Engineering & Materials Science
Semantics 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 2019

Type qualifiers as composable language extensions for code analysis and generation

Carlson, T. & Van Wyk, E., Feb 1 2019, In : Journal of Visual Languages and Computing. 50, p. 49-69 21 p.

Research output: Contribution to journalArticle

Context free grammars
Forms (concrete)
Display devices
Concretes
Engineers
1 Citations

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. Rumpe, B., Mernik, M. & Combemale, B. (eds.). Association for Computing Machinery, Inc, p. 163-174 12 p.

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

Context free grammars
Computer programming languages
Semantics
Specifications
1 Citations

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
3 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

Datasets

Silver: an Attribute Grammar System

Kaminski, T. (Creator), Van Wyk, E. (Creator), Data Repository for the University of Minnesota, 2017

Dataset

A Modular Specification of Oberon0 Using the Silver Attribute Grammar System

Kaminski, T. (Creator), Van Wyk, E. (Creator), Data Repository for the University of Minnesota, 2015

Dataset

ableC: Extensible Specification of C Using the Silver Attribute Grammar System

Carlson, T. (Creator), Kaminski, T. (Creator), Kramer, L. (Creator), Van Wyk, E. (Creator), Data Repository for the University of Minnesota, 2017

Dataset