1005 search results - page 3 / 201 » A Language for Manipulating Arrays |
89
Voted
CSFW
2012
IEEE
13 years 4 days ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
SIPS
2006
IEEE
15 years 3 months ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
80
Voted
ICFP
2002
ACM
15 years 9 months ago
2002
ACM