Sciweavers

1821 search results - page 27 / 365
» Security-Aware Program Transformations
Sort
View
127
Voted
ERSHOV
2001
Springer
15 years 11 months ago
A Theoretical Foundation of Program Synthesis by Equivalent Transformation
Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi