TALK KEYWORD INDEX

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

Shortcuts: A B C D E F G H I J K L M N O P R S T U V

A
abstract bisimilarity	Timed History Preserving Bisimulation and Open Maps
Abstract State Machines	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
algorithmic complexity	On Tractability of Disjoint AND-Decomposition of Boolean Formulas
Algorithmic skeletons	Towards High-Level Programming for Systems with Many Cores
almost well relation
automated theorem proving	Verification of Temporal Properties of Hybrid Systems Using dMTL
B
Behavioral Equivalences	Comparing Semantics under Strong Timing of Petri Nets
boolean functions	On Tractability of Disjoint AND-Decomposition of Boolean Formulas
bottom-up rewriting systems	Polynomial-Time Optimal Pretty-Printing Combinators with Choice
C
certifying supercompilation	Certifying supercompilation for Martin-Löf's type theory
cofinite quantification	The role of indirections in lazy natural semantics
Combinatorial Optimization
combinators	Polynomial-Time Optimal Pretty-Printing Combinators with Choice
Comparative Semantics	Comparing Semantics under Strong Timing of Petri Nets
compilation	Towards Specializing JavaScript Programs
computable analysis	Index sets as a measure of continuous constraint complexity
concurrency	Towards Symbolic Execution in Erlang
Concurrency Theory	Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
conjunctive decomposition	On Tractability of Disjoint AND-Decomposition of Boolean Formulas
constructor specialisation	Supercompilation for Datatypes
continuous constraint	Index sets as a measure of continuous constraint complexity
Curry-Howard correspondence	Certifying supercompilation for Martin-Löf's type theory
D
Data-Partitioning	Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
databases	The study of multidimensional R-Tree -based index scalability in multicore environment
deductive verification of hybrid systems	Verification of Temporal Properties of Hybrid Systems Using dMTL
dependent types	Certifying supercompilation for Martin-Löf's type theory
Diagramming Tools	Skeblle: A Tool for Programmable Active Diagrams
disjoint decomposition	On Tractability of Disjoint AND-Decomposition of Boolean Formulas
Distillation	Asymptotic Speedups, Bisimulation and Distillation
dynamic logic	Verification of Temporal Properties of Hybrid Systems Using dMTL
E
environment model	Modeling Environment for Static Verification of Linux Kernel Modules
equality saturation	Inductive Prover Based on Equality Saturation for a Lazy Functional Language
event-B	A proof-based method for modelling timed systems
experimental evaluation	The study of multidimensional R-Tree -based index scalability in multicore environment
F
factoring multivariate polynomials	On Tractability of Disjoint AND-Decomposition of Boolean Formulas
fix point	Probabilistic formal concepts for contexts with negation
formal concept analysis	Probabilistic formal concepts for contexts with negation
Formal concepts	Probabilistic formal concepts for contexts with negation
Formal semantics	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
formal verification	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM A proof-based method for modelling timed systems
functional programming	Towards Symbolic Execution in Erlang
G
GiST	The study of multidimensional R-Tree -based index scalability in multicore environment
GPU programming	Towards High-Level Programming for Systems with Many Cores
Graphical Modeling
H
Hennessy-Milner property	Decidability and Expressiveness of Recursive Weighted Logic
Higman embedding
Human Computer Interface
I
IEC 61499	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
in-memory index	The study of multidimensional R-Tree -based index scalability in multicore environment
index set	Index sets as a measure of continuous constraint complexity
inductive provers	Inductive Prover Based on Equality Saturation for a Lazy Functional Language
infinite alphabet	Symbolic String Transformations with Regular Lookahead and Rollback
information flow	Process Opacity
information retrieval	A Multi-agent Text Analysis Based on Ontology of Subject Domain
invariant generation	Lingva: Generating and Proving Program Properties using Symbol Elimination
J
Java	More type inference in Java 8
JavaScript	Towards Specializing JavaScript Programs
K
kernel module	Modeling Environment for Static Verification of Linux Kernel Modules
L
labelled weighted transition system	Decidability and Expressiveness of Recursive Weighted Logic
language design	More type inference in Java 8
lazy lambda-calculus	The role of indirections in lazy natural semantics
locally nameless representation	The role of indirections in lazy natural semantics
logic circuit synthesis	On Tractability of Disjoint AND-Decomposition of Boolean Formulas
logic for hybrid systems	Verification of Temporal Properties of Hybrid Systems Using dMTL
loop approximation
M
Many-core systems	Towards High-Level Programming for Systems with Many Cores
Martin-Löf's type theory	Certifying supercompilation for Martin-Löf's type theory
maximal fixed point	Decidability and Expressiveness of Recursive Weighted Logic
message passing
metric temporal logic	Verification of Temporal Properties of Hybrid Systems Using dMTL
Modal Transition Systems	Model Checking Value-Passing Modal Specifications
Model Checking	Bonsai: Cutting Models Down to Size Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM Model Checking Value-Passing Modal Specifications
Model-Based Diagrams	Skeblle: A Tool for Programmable Active Diagrams
multi-valued	Bonsai: Cutting Models Down to Size
multiagent algorithm	A Multi-agent Text Analysis Based on Ontology of Subject Domain
multidimensional indexing	The study of multidimensional R-Tree -based index scalability in multicore environment
Multiple Ant Colony Optimization
Multiple Trip Vehicle Routing Problem
N
natural language processing	A Multi-agent Text Analysis Based on Ontology of Subject Domain
natural semantics	The role of indirections in lazy natural semantics
O
ontology population	A Multi-agent Text Analysis Based on Ontology of Subject Domain
open maps	Timed History Preserving Bisimulation and Open Maps
OpenCL	Towards High-Level Programming for Systems with Many Cores
operating system kernel	Modeling Environment for Static Verification of Linux Kernel Modules
P
Parallel programming	Towards High-Level Programming for Systems with Many Cores
Partial evaluation	Asymptotic Speedups, Bisimulation and Distillation
predicate abstraction	Bonsai: Cutting Models Down to Size
pretty-printing	Polynomial-Time Optimal Pretty-Printing Combinators with Choice
probabilistic formal concepts	Probabilistic formal concepts for contexts with negation
process algebras	Process Opacity
process opacity	Process Opacity
processes
Product Families	Model Checking Value-Passing Modal Specifications
program analysis	Lingva: Generating and Proving Program Properties using Symbol Elimination
Program Construction for Parallel Programs	Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
program specialization	Towards Specializing JavaScript Programs
program transformation	Asymptotic Speedups, Bisimulation and Distillation Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
Program Understanding	Skeblle: A Tool for Programmable Active Diagrams
program verification	Lingva: Generating and Proving Program Properties using Symbol Elimination
promela	Bonsai: Cutting Models Down to Size
proof calculus	Verification of Temporal Properties of Hybrid Systems Using dMTL
R
R-Tree	The study of multidimensional R-Tree -based index scalability in multicore environment
real-time models	Timed History Preserving Bisimulation and Open Maps
regular lookahead	Symbolic String Transformations with Regular Lookahead and Rollback
Repository Mining
S
satisfiability	Decidability and Expressiveness of Recursive Weighted Logic
scalability	The study of multidimensional R-Tree -based index scalability in multicore environment
security	Process Opacity
semantics	Towards Symbolic Execution in Erlang
sliding window protocol
SMT	Symbolic String Transformations with Regular Lookahead and Rollback
Software Architecture	Skeblle: A Tool for Programmable Active Diagrams
software quality	Modeling Environment for Static Verification of Linux Kernel Modules
Software Tools	Skeblle: A Tool for Programmable Active Diagrams
Software Visualization	Skeblle: A Tool for Programmable Active Diagrams
specialisation	Supercompilation for Datatypes
Speedup	Asymptotic Speedups, Bisimulation and Distillation
spinja	Bonsai: Cutting Models Down to Size
static verification	Modeling Environment for Static Verification of Linux Kernel Modules
supercompilation	Certifying supercompilation for Martin-Löf's type theory Supercompilation for Datatypes Asymptotic Speedups, Bisimulation and Distillation Inductive Prover Based on Equality Saturation for a Lazy Functional Language
symbolic automaton	Symbolic String Transformations with Regular Lookahead and Rollback
symbolic execution	Towards Symbolic Execution in Erlang
symbolic transducer	Symbolic String Transformations with Regular Lookahead and Rollback
T
Temporal modal logic	Model Checking Value-Passing Modal Specifications
theorem proving	Certifying supercompilation for Martin-Löf's type theory Lingva: Generating and Proving Program Properties using Symbol Elimination A proof-based method for modelling timed systems
threads	The study of multidimensional R-Tree -based index scalability in multicore environment
time modelling	A proof-based method for modelling timed systems
Time Petri Nets	Comparing Semantics under Strong Timing of Petri Nets
timed causal trees	Timed History Preserving Bisimulation and Open Maps
timed history preserving bisimulation	Timed History Preserving Bisimulation and Open Maps
type inference	More type inference in Java 8
type system	More type inference in Java 8
U
unfold-fold transformation	Supercompilation for Datatypes
V
Value-Passing	Model Checking Value-Passing Modal Specifications
Variability	Model Checking Value-Passing Modal Specifications
verification
Version Control
Visualization Tools	Skeblle: A Tool for Programmable Active Diagrams