Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
VPT 2014
:
Keyword Index
Keyword
Papers
C
Constraint Logic Programming
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
H
higher-order
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
I
Isabelle/HOL
Formal Replay of Translation Validation for Highly Optimised C
L
lambda calculus
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
M
Markov's normal algorithms
On Unfolding for Programs Using Strings as a Data Type
N
nested Petri nets
Branching Processes of Conservative Nested Petri Nets
P
Petri nets
Branching Processes of Conservative Nested Petri Nets
ping-pong protocols
Verification of Multi-Party Ping-Pong Protocols via Program Transformation
prefix grammar
Verification of Multi-Party Ping-Pong Protocols via Program Transformation
program analysis
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
On Unfolding for Programs Using Strings as a Data Type
program specialization
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
On Unfolding for Programs Using Strings as a Data Type
program transformation
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
On Unfolding for Programs Using Strings as a Data Type
program verification
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
S
supercompilation
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
On Unfolding for Programs Using Strings as a Data Type
Verification of Multi-Party Ping-Pong Protocols via Program Transformation
T
termination
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
Translation Validation
Formal Replay of Translation Validation for Highly Optimised C
true concurrency
Branching Processes of Conservative Nested Petri Nets
U
unfolding
On Unfolding for Programs Using Strings as a Data Type
unfoldings
Branching Processes of Conservative Nested Petri Nets
V
verification
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
Verification of Multi-Party Ping-Pong Protocols via Program Transformation
Formal Replay of Translation Validation for Highly Optimised C
W
word equations
On Unfolding for Programs Using Strings as a Data Type
Copyright © 2012-2023 easychair.org. All rights reserved.