ALL
ASU
ECSU
ECU
FSU
NCCU
UNCA
UNCC
UNCG
UNCP
UNCW
WCU
ALL
ASU
ECSU
ECU
FSU
NCCU
UNCA
UNCC
UNCG
UNCP
UNCW
WCU
Browse All
Titles
Author By Last Name
Keywords
Departments
Theses & Dissertations
Titles
Author By Last Name
Advisor By Last Name
Keywords
Type
Degrees By Discipline
Submissions
Articles, Chapters, & other finished products
Research Data
Notice & Takedown Policy
Browse by Keywords - C
Select the first letter of the keywords to browse
OTHER
.
1
2
3
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
There are 2 record/s using the keyword/s:
correctness proofs
.
View
25
/
50
/
ALL
records per page.
Title
Date
Creator
Publication Type
Institution
A Generalization of Short-Cut Fusion and Its Correctness Proof
2002
Johann, Patricia
Faculty
Computer Science,
ASU
The Impact Of seq On Free Theorems-Based Program Transformations
2006
Johann, Patricia
Faculty
Computer Science,
ASU