Keyphrases
Proof Assistants
100%
Session Types
69%
Message Passing
69%
Interactive Proof Assistants
53%
Semantic Approach
46%
Interactive Proofs
46%
Source File
46%
Asynchronous Computation
46%
External Instruments
46%
Type Systems
46%
Separation Logic
46%
Efficient Automation
46%
Engineering Work
46%
Concurrency Paradigm
46%
Gallina
46%
Dependency Analysis
46%
Decision Procedure
46%
Integrated Development
46%
Large-scale Projects
46%
OCaml
46%
Control Dependency
46%
Build System
46%
Version Control
46%
User Interface
46%
Parallel Processing
46%
Problem Domain
46%
Order of Magnitude
46%
Domain-specific Languages
46%
Project Management
46%
Programming Languages
46%
Psi-calculi
46%
Traditional Uses
46%
Isabelle
46%
Coq Proof Assistant
23%
Recursion
23%
Symbolic Execution
23%
Functional Correctness
23%
Mutable State
23%
Concurrent Programs
23%
Higher-order Functions
23%
First-in-class
23%
Concurrent Separation Logic
23%
Program Logic
23%
Merge Sort
23%
MapReduce Model
23%
Relation Model
23%
Levels of Abstraction
23%
Mapper
23%
Asynchronous Subtyping
23%
Distributed Load Balancing
23%
Computer Science
Message Passing
76%
Projection Function
46%
Concurrency
46%
Formal Reasoning
46%
Type Systems
46%
Metatheory
46%
Theoretic Property
46%
Engineering Work
46%
Expressive Logic
46%
Decision Procedure
46%
Control Dependency
46%
Version Control
46%
Domain-specific languages
46%
Problem Domain
46%
Case Study
46%
Formalization
46%
Parallel Processing
46%
User Interfaces
46%
Computable Relation
23%
Passing System
23%
Computable Partial Function
23%
Logical Relation
23%
Logic Programming
23%
Called Behavior
23%
Soundness
15%
Concurrent Program
15%
Map-Reduce
15%
Load Balancing
15%
Symbolic Execution
15%
Order Function
15%
Merge-Sort
15%
Shared Memories
15%
