5415 search results - page 270 / 1083 » The Implementation of Functional Programming Languages |
107
click to vote
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
122
click to vote
CC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
106
click to vote
TAPSOFT
1997
Springer
15 years 5 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...