2000 search results - page 119 / 400 » Program Transformation and Proof Transformation |
217
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
144
Voted
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
112
Voted
JUCS
2008
15 years 3 months ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
217
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
The filter flow problem is to compute a space-variant
linear filter that transforms one image into another. This
framework encompasses a broad range of transformations
including...
135
click to vote
ISW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...