Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B C D E F G H I L M N O P Q R S T

A
aggregation	Language-Integrated Query with Nested Data Structures and Grouping
B
Bang Calculus	The Bang Calculus Revisited
Bidirectional transformation	An efficient composition of bidirectional programs by memoization and lazy update
C
Call-by-Push-Value	The Bang Calculus Revisited
concolic testing	An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
constraint solving	An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
cut elimination	On restriction of cut in cyclic proof system for symbolic heaps
cyclic proof system	On restriction of cut in cyclic proof system for symbolic heaps
D
database	Language-Integrated Query with Nested Data Structures and Grouping
declarative programming	System Description: Lang-n-Change -- A Tool for Transforming Languages
DSL	Implementing, and keeping in check, a DSL used in e-learning
E
e-learning	Implementing, and keeping in check, a DSL used in e-learning
Efficiency	An efficient composition of bidirectional programs by memoization and lazy update
equational reasoning	Declarative Pearl: Deriving Monadic Quicksort
F
Functional languages	On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
G
grouping	Language-Integrated Query with Nested Data Structures and Grouping
H
Higher-order logic programming	On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
I
implementation	Session Types without Sophistry (System Description)
Implementation technique	An efficient composition of bidirectional programs by memoization and lazy update
interpreter	Implementing, and keeping in check, a DSL used in e-learning
Intersection Types	The Bang Calculus Revisited
L
lambda-calculus	Declarative Pearl: The Distributive λ-Calculus
language design	System Description: Lang-n-Change -- A Tool for Transforming Languages
language transformation	System Description: Lang-n-Change -- A Tool for Transforming Languages
language-integrated query	Language-Integrated Query with Nested Data Structures and Grouping
Language-oriented programming	On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
linear logic	Polynomial time over the reals with parsimony
logic programming	An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
M
monad	Declarative Pearl: Deriving Monadic Quicksort
N
nested data structures	Language-Integrated Query with Nested Data Structures and Grouping
nondeterminism	Declarative Pearl: Deriving Monadic Quicksort
normalization	Language-Integrated Query with Nested Data Structures and Grouping Declarative Pearl: The Distributive λ-Calculus
O
Optimization	An efficient composition of bidirectional programs by memoization and lazy update
P
polynomial time	Polynomial time over the reals with parsimony
process calculus	Session Types without Sophistry (System Description)
program derivation	Declarative Pearl: Deriving Monadic Quicksort
Q
quicksort	Declarative Pearl: Deriving Monadic Quicksort
R
real numbers	Polynomial time over the reals with parsimony
rewriting	Declarative Pearl: The Distributive λ-Calculus
S
sat	An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
semantics	Implementing, and keeping in check, a DSL used in e-learning
separation logic	On restriction of cut in cyclic proof system for symbolic heaps
smt	An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
staging	Session Types without Sophistry (System Description)
state	Declarative Pearl: Deriving Monadic Quicksort
T
testing	Implementing, and keeping in check, a DSL used in e-learning
Tupling	An efficient composition of bidirectional programs by memoization and lazy update
type inference	Session Types without Sophistry (System Description)
type isomorphisms	Declarative Pearl: The Distributive λ-Calculus
type system	Polynomial time over the reals with parsimony