Sciweavers

546 search results - page 27 / 110
» Parametric Program Slicing
Sort
View
100
Voted
APLAS
2010
ACM
15 years 3 months ago
Relational Parametricity for a Polymorphic Linear Lambda Calculus
Jianzhou Zhao, Qi Zhang, Steve Zdancewic
122
Voted
PADL
2004
Springer
15 years 8 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
117
Voted
DRM
2007
Springer
15 years 9 months ago
Slicing obfuscations: design, correctness, and evaluation
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
Anirban Majumdar, Stephen Drape, Clark D. Thombors...