674 search results - page 30 / 135 » Explanation Based Program Transformation |
ICLP
2009
Springer
14 years 10 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...
ASWEC
2005
IEEE
14 years 3 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...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
A new simple algorithm, based on dynamic programming is presented, for handwritten character recognition, with improved accuracy. The proposed Shape Transform (ST) approach is bas...
SEFM
2006
IEEE
14 years 3 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
DELTA
2010
IEEE
14 years 3 months ago
2010
IEEE
High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...