Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
Bounds checking: an instance of hybrid analysis
Troels Henriksen
,
Cosmin Eugen Oancea
Datalogisk Institut
9
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Bounds checking: an instance of hybrid analysis'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
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%