Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Press/Media
Datasets
Activities
Fellowships, Honors, and Prizes
Search by expertise, name or affiliation
Specification languages in algebraic compilers
Eric Van Wyk
Research output
:
Contribution to journal
›
Conference article
›
peer-review
3
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Specification languages in algebraic compilers'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Specification Languages
100%
Compiler
92%
Language
50%
Target
46%
Temporal Logic
9%
Algebra
4%
Model
2%
Engineering & Materials Science
Specification languages
79%
Temporal logic
27%
Algebra
24%