Coq Abstracts: Keyword Index

COQ ABSTRACTS: KEYWORD INDEX

Papers Papers with Abstracts Author Index Keyword Index

Shortcuts: A C D E F G L M N P R S T

A
Automated Algebraic Reasonings	ComplCoq: Rewrite Hint Construction with Completion Procedures (PDF, talk)
C
completion	ComplCoq: Rewrite Hint Construction with Completion Procedures (PDF, talk)
Coq	Teaching Your Rooster to Crow in C (PDF, talk) Procrastination, A proof engineering technique (PDF, talk) Classical Analysis with Coq (PDF, talk) Towards a formalization of the guard condition (PDF, talk)
Coq library	Preliminary Report on the Yalla Library (PDF, talk)
D
deep embedding	Preliminary Report on the Yalla Library (PDF, talk)
DSL	Teaching Your Rooster to Crow in C (PDF, talk)
E
exchange rule	Preliminary Report on the Yalla Library (PDF, talk)
extraction	What is the Foreign Function Interface of the Coq Programming Language? (PDF, talk)
F
finite multisets	Preliminary Report on the Yalla Library (PDF, talk)
Formal Library	Classical Analysis with Coq (PDF, talk)
formal proofs	Procrastination, A proof engineering technique (PDF, talk)
G
Guard Condition	Towards a formalization of the guard condition (PDF, talk)
L
linear logic	Preliminary Report on the Yalla Library (PDF, talk)
M
Machine Learning	Proof Construction by Tactic Learning (PDF, talk)
Monads	What is the Foreign Function Interface of the Coq Programming Language? (PDF, talk)
N
Notation	Teaching Your Rooster to Crow in C (PDF, talk)
P
Parametricity	What is the Foreign Function Interface of the Coq Programming Language? (PDF, talk)
permutations	Preliminary Report on the Yalla Library (PDF, talk)
pretty printing	Teaching Your Rooster to Crow in C (PDF, talk)
proof engineering	Procrastination, A proof engineering technique (PDF, talk)
proof search	Proof Construction by Tactic Learning (PDF, talk)
R
Real Analysis	Classical Analysis with Coq (PDF, talk)
Recursion	Towards a formalization of the guard condition (PDF, talk)
S
side conditions	Procrastination, A proof engineering technique (PDF, talk)
T
tactics	Proof Construction by Tactic Learning (PDF, talk)
term rewriting systems	ComplCoq: Rewrite Hint Construction with Completion Procedures (PDF, talk)