Skip to main navigation
Skip to search
Skip to main content
Vrije Universiteit Brussel Home
Help & FAQ
English
Nederlands
Home
Research units
Profiles
Projects
Research output
Activities
Equipment
Prizes
Press/Media
Student theses
Datasets
Impacts
Search by expertise, name or affiliation
Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach
Jens Nicolay
Software Languages Lab
Vrije Universiteit Brussel
Research output
:
Thesis
›
PhD Thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Semantics
100%
Flow graphs
64%
Observability
54%
Static analysis
50%
Flow control
46%
Specifications
31%
Testing
25%