FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program