Skip to main navigation
Skip to search
Skip to main content
Heriot-Watt Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Datasets
Impacts
Equipment
Prizes
Activities
Press/Media
Courses
Search by expertise, name or affiliation
Strategies for solving constraints in program analysis
Jurriaan Hage
, Bastiaan Heeren
Computer Science
School of Mathematical & Computer Sciences
Research output
:
Book/Report
›
Other report
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Strategies for solving constraints in program analysis'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Type Systems
100%
Program Analysis
100%
Constraint Solver
50%
INIS
constraints
100%
implementation
40%
errors
40%
algorithms
20%
bridges
20%
specifications
20%