178 search results - page 15 / 36 » Splitting a CR-Prolog Program |
POPL
1997
ACM
13 years 11 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
: We propose a new algorithm to the problem of polygonal curve approximation based on a multiresolution approach. This algorithm is suboptimal but still maintains some optimality b...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
CC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
This paper addresses a novel linear programming based approach to optimize the choice of the encoding parameters for the MPEG-4 AAC audio codec. Current techniques solve the encod...