Skip to main navigation
Skip to search
Skip to main content
Sort by
Keyphrases
Proof Assistants
43%
Global Types
41%
Computable
41%
Session Types
31%
Message Passing
31%
Interactive Proof Assistants
22%
Semantic Approach
20%
Interactive Proofs
20%
Source File
20%
Asynchronous Computation
20%
External Instruments
20%
Type Systems
20%
Separation Logic
20%
Efficient Automation
20%
Engineering Work
20%
Concurrency Paradigm
20%
Gallina
20%
Dependency Analysis
20%
Decision Procedure
20%
Integrated Development
20%
Large-scale Projects
20%
OCaml
20%
Control Dependency
20%
Build System
20%
Version Control
20%
User Interface
20%
Parallel Processing
20%
Problem Domain
20%
Order of Magnitude
20%
Domain-specific Languages
20%
Project Management
20%
Programming Languages
20%
Traditional Uses
20%
Isabelle
20%
Projection Function
20%
Coq Proof Assistant
20%
Recursion
20%
Calculus
20%
Symbolic Execution
10%
Functional Correctness
10%
Mutable State
10%
Concurrent Programs
10%
Higher-order Functions
10%
First-in-class
10%
Concurrent Separation Logic
10%
Program Logic
10%
Merge Sort
10%
MapReduce Model
10%
Relation Model
10%
Levels of Abstraction
10%
Computer Science
Proof
100%
Message Passing
44%
Projection Function
41%
Interactivity
31%
Concurrency
20%
Type Systems
20%
Computable Relation
20%
Passing System
20%
Computable Partial Function
20%
Called Behavior
20%
Correctness
17%
Formal Reasoning
10%
Metatheory
10%
Theoretic Property
10%
Formalization
10%
Logical Relation
10%
Logic Programming
10%
Engineering Work
6%
Expressive Logic
6%
Decision Procedure
6%
Control Dependency
6%
Version Control
6%
Domain-specific languages
6%
Problem Domain
6%
Case Study
6%
Parallel Processing
6%
Soundness
6%
Concurrent Program
6%
Map-Reduce
6%
Load Balancing
6%
Symbolic Execution
6%
Order Function
6%
Merge-Sort
6%
Programming Language
6%
User Interface
6%
Project Management
6%
Compilation
6%
Shared Memory
6%
