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
Keyphrases
Compiler
100%
Target Language
100%
Specification Language
100%
Source Language
28%
Logic Model
14%
Temporal Logic
14%
Model Checker
14%
Language Algebra
14%
Functional Specification
14%
Language Image
14%
Language Translator
14%
Language Operations
14%
Computer Science
Target Language
100%
Specification Language
100%
Source Language
28%
Temporal Logic
14%
Language Translator
14%
model checker
14%
Functional Specification
14%