Title :
Reasoning About Higher-Order Functions and Parameters
Author :
Mahmut Kandemir استاد مشاور , Ali Hurson استاد مشاور , John Hannan استاد راهنما
University :
The Pennsylvenia State University
Major :
PhD )Computer Science and Engineering(
Keyword :
Functional Programming , program transformation , type-based analysis , programming languages
