Computer Science
Soundness
100%
C Program
94%
Garbage Collection
76%
Machine Learning
71%
Operational Semantics
65%
Machine Language
63%
Logic Programming
56%
Type Systems
52%
Language Program
51%
Programming Language
47%
high-order logic
42%
Separate Compilation
42%
Garbage Collector
40%
Virtual Memory
39%
Paramodulation
36%
Theorem Prover
36%
Data Abstraction
36%
Von Neumann Machine
36%
Data Structure
35%
runtime system
33%
Assembly Language
30%
Function Pointer
30%
Operating Systems
30%
Order Function
30%
Shared Memories
28%
Object Reference
27%
multi-processor
27%
Move Instruction
24%
Metatheory
24%
Cryptographic Primitive
24%
Axiomatization
24%
Function Variable
24%
Function Object
24%
Code Generator
24%
Red Hat
24%
Simulation Relation
24%
Shared Memory Multiprocessor
24%
Mathematical Problem
24%
Floating Point
24%
Source Codes
21%
Register Allocation
20%
Concurrency
20%
Correctness Proofs
20%
Mechanical Verification
18%
Case Study
18%
Computer Security
18%
Election Official
18%
Compilation Unit
18%
Functional Languages
18%
debugger
18%
Code Generation
18%
Type Checking
18%
Free Variable
18%
Type Constructor
17%
Program Verification
15%
Back End
15%
Static Program Analysis
14%
Restricted Form
14%
Trusted Computing Base
13%
Intermediate Language
13%
Certificate Infrastructure
12%
Critical System
12%
Decide Validity
12%
Verification Goal
12%
Newton's Method
12%
Microarchitecture
12%
Software Pipelining
12%
Target Register
12%
Conservative Coalescing
12%
Free List
12%
Transition System
12%
Software Vulnerability
12%
Software Component
12%
Programming Language Feature
12%
Working Set
12%
Inlining
12%
Java Application
12%
Subgraphs
12%
Underlying System
12%
Approximation (Algorithm)
12%
Modern Compiler
12%
Mathematical Reasoning
12%
Multicore Processor
12%
C Programming
12%
Higher Order Logic
12%
Access Control
12%
Research Results
12%
Object-Oriented Languages
12%
Formal Specification
12%
Datalog
12%
Arithmetic Operation
12%
Variant Record
12%
Automatic Garbage Collection
12%
Interface Specification
12%
Initial Value Problems
12%
Vulnerability Assessment
12%
Partial Correctness
12%
Statically Typed Language
12%
Typing Rule
12%
Structure Function
12%
Keyphrases
Compiler
91%
Standard ML
69%
Virtual Memory
48%
Garbage Collection
48%
Separate Compilation
42%
Garbage Collection Algorithm
42%
Register Allocation
39%
Proof-carrying Code
36%
Mutator
36%
Firefly
36%
Space Object
36%
Nonconcurrent
36%
Concurrent Collections
36%
Unix
30%
Separation Logic
30%
Operational Semantics
28%
Multiprocessor
27%
Uniprocessor
24%
Back-end Optimization
24%
Chaitin
24%
Colorability
24%
Paramodulation
24%
Spill
24%
Mechanized Metatheory
24%
SHA-256
24%
Cryptographic Primitives
24%
Flexible Working
24%
Proof Checker
24%
Module Optimization
24%
Function Variable
24%
Non-expansive
24%
Crossed Module
24%
Register Coalescing
24%
Indirect Reference
24%
Continuation-passing Style
24%
Simulation Relation
24%
CompCert Compiler
24%
MulVAL
24%
C Program
24%
Shared-memory multiprocessors
24%
Free Variables
24%
CompCert
24%
Functional Correctness
20%
Debugger
20%
Von Neumann Machine
20%
User Program
20%
Program Logic
20%
Verified Software Toolchain
19%
High-order
19%
Machine Language
18%
Language Programs
18%
Performance Improvement
18%
Graph Coloring
18%
Semantic Model
17%
Allocator
17%
Type Systems
17%
Typed Assembly Language
16%
Calculus
16%
Breadth-first Search
16%
Garbage Collector
16%
Higher-order Functions
15%
Shared Memory
15%
Operating System
15%
Graph Traversal
15%
Garbage
14%
Concurrent Separation Logic
14%
Stack Frame
14%
Functional Languages
14%
Coding System
14%
Function Call
13%
Type Safety
13%
Stack Allocation
12%
Digital Circuits
12%
Parallelizing
12%
Conditional Information
12%
Array Property
12%
Closure Conversion
12%
Modularity
12%
Concurrency
12%
Indirection
12%
Small Step
12%
Human Assisted
12%
Vector Mode
12%
Efficient ML
12%
Contextual Equivalence
12%
Java Application
12%
Modal Model
12%
Program Verifiers
12%
Mbed
12%
Compositional Optimization
12%
Logical Relations
12%
Machine Instruction
12%
Higher-order Logic
12%
Hybrid Games
12%
Princeton
12%
Local Invariants
12%
Semaphore Mechanism
12%
Multi-thread
12%
Metatheory
12%
Compiler Correctness
12%