VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

A
asynchronous systems	A new reduction for event-driven distributed programs
C
Concolic Testing	Concolic Testing of Concurrent Programs
concurrency	A new reduction for event-driven distributed programs
Concurrency Testing	Concolic Testing of Concurrent Programs
correctness	Group Communication Patterns for High Performance Computing in Scala
D
Directed Testing	Concolic Testing of Concurrent Programs
F
functional programming	Group Communication Patterns for High Performance Computing in Scala
H
high-performance computing	Group Communication Patterns for High Performance Computing in Scala
I
Interference Scenarios	Concolic Testing of Concurrent Programs
M
message passing systems	A new reduction for event-driven distributed programs
model checking	A new reduction for event-driven distributed programs
P
partial order reduction	A new reduction for event-driven distributed programs
programming framework	Group Communication Patterns for High Performance Computing in Scala
R
runtime analysis	Group Communication Patterns for High Performance Computing in Scala
S
Systematic Testing	Concolic Testing of Concurrent Programs

Disclaimer | Powered by EasyChair Smart Program