19972020
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.

  • 5 Similar Profiles
Attribute Grammars Mathematics
Computer programming languages Engineering & Materials Science
Specifications 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 2020

Research Output 1997 2019

Building parallel programming language constructs in the AbleC extensible C compiler framework: A PPoPP tutorial

Carlson, T. & Van Wyk, E., Feb 16 2019, PPoPP 2019 - Proceedings of the 24th Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 443-446 4 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

Parallel programming
Computer programming languages
Flow control
Code generation

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
2 Citations (Scopus)

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. (SLE 2017 - Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2017).

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

Context free grammars
Computer programming languages
Semantics
Specifications
1 Citation (Scopus)

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. Flatt, M. & Erdweg, S. (eds.). Association for Computing Machinery, Inc, p. 91-103 13 p. (GPCE 2017 - Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2017).

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

Forms (concrete)
Concretes

Datasets

Silver: an Attribute Grammar System

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

Dataset

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

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

Dataset