7124 search results - page 1029 / 1425 » Programming Languages and Operating Systems |
113
Voted
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
134
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
160
click to vote
AGTIVE
1999
Springer
15 years 9 months ago
1999
Springer
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming l...
141
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
151
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...