ATx'12/WInG'12: Keyword Index

KeywordPapers
a
abstract interpretationAbstract Domains for Bit-Level Machine Integer and Floating-point Operations
automated inductionHipSpec : Automating Inductive Proofs of Program Properties
automated theorem provingHipSpec : Automating Inductive Proofs of Program Properties
c
categorical quantum mechanicsSynthesising Graphical Theories
Conjecture synthesisSynthesising Graphical Theories
d
depth-first searchA Framework for Verified Depth-First Algorithms
e
equational reasoningHipSpec : Automating Inductive Proofs of Program Properties
f
floating-point numbersAbstract Domains for Bit-Level Machine Integer and Floating-point Operations
g
graph rewritingSynthesising Graphical Theories
i
Isabelle/HOLA Framework for Verified Depth-First Algorithms
m
machine integersAbstract Domains for Bit-Level Machine Integer and Floating-point Operations
model checkingA Framework for Verified Depth-First Algorithms
model theoryTheory Exploration: a role for Model Theory?
monoidal categoriesSynthesising Graphical Theories
n
numeric domainsAbstract Domains for Bit-Level Machine Integer and Floating-point Operations
p
program verificationHipSpec : Automating Inductive Proofs of Program Properties
s
saturationTheory Exploration: a role for Model Theory?
static analysisAbstract Domains for Bit-Level Machine Integer and Floating-point Operations
string diagramsSynthesising Graphical Theories
t
testingHipSpec : Automating Inductive Proofs of Program Properties
theorem provingA Framework for Verified Depth-First Algorithms
theory explorationTheory Exploration: a role for Model Theory?
theory formationHipSpec : Automating Inductive Proofs of Program Properties