824 search results - page 12 / 165 » Constructing Functional Programs for Grammar Analysis Proble... |
147
click to vote
WCRE
1997
IEEE
15 years 10 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
174
Voted
CC
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
148
Voted
VMCAI
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
154
Voted
ESOP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
174
Voted
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...