Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A C D F G H K L M N P S V W Y

A
Arias, Joaquin	Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
Ayala-Rincon, Mauricio	A Certified Functional Nominal C-Unification Algorithm
C
Carro, Manuel	Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
Casso, Ignacio	Computing Abstract Distances in Logic Programs An Integrated Approach to Assertion-Based Random Testing in Prolog
Chen, Zhuo	Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
Cousot, Patrick	On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics
D
Diekhoff, Karsten	Logic-Based Synthesis of Fair Voting Rules Using Composable Modules
Drabent, Włodek	The Prolog debugger and declarative programming
F
Fernandez, Maribel	A Port Graph Rewriting Approach to Relational Database Modelling A Certified Functional Nominal C-Unification Algorithm
G
Gallagher, John P.	A General Framework for Static Cost Analysis of Parallel Logic Programs
Gallagher, John Patrick	Horn clauses and tree automata for imperative program verification
Gallardo, María-Del-Mar	Trace analysis using an Event-driven Interval Temporal Logic
Garcia-Contreras, Isabel	Incremental Analysis of Logic Programs with Assertions and Open Predicates
Giacobazzi, Roberto	Computing Abstract Distances in Logic Programs
Glück, Robert	Semi-Inversion of Conditional Constructor Term Rewriting Systems
Gupta, Gopal	Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming Synthesizing Imperative Code from Answer Set Programming Specifications
H
Hermenegildo, Manuel V.	A General Framework for Static Cost Analysis of Parallel Logic Programs Incremental Analysis of Logic Programs with Assertions and Open Predicates Computing Abstract Distances in Logic Programs An Integrated Approach to Assertion-Based Random Testing in Prolog
Hoare, Tony	A Calculus for Concurrent and Sequential Programming
K
Kirkeby, Maja	Semi-Inversion of Conditional Constructor Term Rewriting Systems
Kirsten, Michael	Logic-Based Synthesis of Fair Voting Rules Using Composable Modules
Klemen, Maximiliano	A General Framework for Static Cost Analysis of Parallel Logic Programs
Kobayashi, Naoki	10 Years of the Higher-Order Model Checking Project
Koerner, Philipp	An Optional Static Type System for Prolog
Krämer, Jonas	Logic-Based Synthesis of Fair Voting Rules Using Composable Modules
Kutsia, Temur	Solving Proximity Constraints
L
Lopez-Garcia, Pedro	A General Framework for Static Cost Analysis of Parallel Logic Programs Computing Abstract Distances in Logic Programs An Integrated Approach to Assertion-Based Random Testing in Prolog
Luuk, Erkki	Natural language compositionality in Coq
M
Mittal, Neeraj	Synthesizing Imperative Code from Answer Set Programming Specifications
Morales, Jose F.	A General Framework for Static Cost Analysis of Parallel Logic Programs Incremental Analysis of Logic Programs with Assertions and Open Predicates Computing Abstract Distances in Logic Programs An Integrated Approach to Assertion-Based Random Testing in Prolog
N
Nagele, Julian	Blockchain Superoptimizer
Nantes-Sobrinho, Daniele	A Certified Functional Nominal C-Unification Algorithm
P
Panizo, Laura	Trace analysis using an Event-driven Interval Temporal Logic
Pau, Cleo	Solving Proximity Constraints
Pinaud, Bruno	A Port Graph Rewriting Approach to Relational Database Modelling
S
Salazar, Elmer	Synthesizing Imperative Code from Answer Set Programming Specifications
Schett, Maria Anna	Blockchain Superoptimizer
Silva, Gabriel	A Certified Functional Nominal C-Unification Algorithm
V
Vanhoof, Wim	Generalization-driven semantic clone detection in CLP (Extended Abstract)
Varanasi, Sarat Chandra	Synthesizing Imperative Code from Answer Set Programming Specifications
Varga, Janos	A Port Graph Rewriting Approach to Relational Database Modelling
Vidal, German	Reversibilization in Functional and Concurrent Programming
W
Wingen, Isabel	An Optional Static Type System for Prolog
Y
Yernaux, Gonzague	Generalization-driven semantic clone detection in CLP (Extended Abstract)