LOPSTR 19: 29TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
TALK KEYWORD INDEX

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

(
(Constraint) Logic Programming
A
Abstract Interpretation
Answer Set Programming
ASP
Assertion-based Debugging and Validation
Assertions
B
Blockchain
box model
C
Calculus
Checking
clone detection
CLP
Code Generation
complete lattices
Complexity Analysis
compositionality
Concurrent
conditional term rewriting systems
constraint solving
Constraints
Coq
D
data specification
database design
declarative diagnosis / algorithmic debugging
declarative programming
denotational semantics
distances
E
Ethereum
Event Calculus
Event driven hybrid systems
F
Finite state machines
functional dependency
G
Generic Code
goal-directed execution
graph transformation
H
Higher-Order
Higher-order logic
I
Incremental Static Analysis
induction principles
Interval logic
inversion
L
logic programming
M
metrics
minimal cover
Model
Modular design
N
natural language
Nominal C-Unification
Nominal Terms
O
optional type system
P
Parallelism
partial and total correctness
Partial Evaluation
port graph
progam transformation
program semantics
Program Synthesis
Program Transformation
Programming
Prolog
Prolog (programming language)
Property-based Testing
proximity relations
R
relational databases
Resource Usage Analysis
Runtime Verification
S
semi-inversion
SMT
Social choice
Specifications
Static Analysis
static verification
Superoptimization
Symbolic Execution
T
type theory
U
unification
V
verification
Verification of Functional Specifications