Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Bounds checking: an instance of hybrid analysis
Troels Henriksen
,
Cosmin Eugen Oancea
Department of Computer Science
9
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Bounds checking: an instance of hybrid analysis'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Map-Reduce
100%
Nested Parallelism
100%
Array Subscript
100%
World Application
100%
Annotation
100%
Functional Core
100%
Sufficient Condition
100%
Keyphrases
Bounds Checking
100%
Runtime Verification
66%
Regular Array
33%
Type Checking
33%
Futhark
33%
Inference System
33%
Financial Domain
33%