Keyphrases
Isabelle
100%
Theorem Prover
34%
Higher-order Logic
20%
Decision Procedure
13%
Regular Expressions
11%
Type Inference
11%
Proof Assistants
11%
Pearl
10%
Type Systems
10%
Formal Verification
9%
Bytecode
9%
Automata
9%
Hoare Logic
9%
High-order
9%
Programming Languages
9%
Calculus
8%
Type Classes
8%
Haskell
8%
Rewriting System
7%
Equational Theory
7%
Quantifier Elimination
7%
Functional Data Structures
6%
Formal Proof
6%
Verifier
6%
Verification Condition Generator
6%
Correctness Proofs
6%
Inference Algorithms
6%
Program Semantics
6%
Polymorphism
6%
Kepler Conjecture
6%
Derivatives of Regular Expressions
6%
Functional Program
6%
Search Tree
5%
Linear Order
5%
Pointer Programs
5%
Non-interference
5%
Linear Arithmetic
5%
Flyspeck
5%
Theorem Proving
5%
Word-based
5%
Imperative Programs
5%
Term Rewriting
5%
Compiler
5%
Completeness Proofs
5%
Interactive Theorem Prover
5%
Recursive Functions
5%
Computer Science
Theorem Prover
61%
Formalization
31%
high-order logic
20%
Machine Learning
18%
Type Systems
17%
Programming Language
16%
Soundness
15%
Data Structure
13%
Type Inference
12%
Unification Algorithm
12%
Data Type
11%
Formal Verification
11%
Theorem Proving
11%
Decision Procedure
11%
Regular Expression
10%
Bytecode
10%
Higher Order Logic
10%
Automaton
9%
Functional Programming
9%
Functional Program
8%
Correctness Proofs
8%
Equational Theory
8%
Quantifier Elimination
8%
Tree Search
7%
Code Generation
6%
Recursive Function
6%
Functional Data
5%
Operational Semantics
5%
