1005 search results - page 3 / 201 » A Language for Manipulating Arrays |
CSFW
2012
IEEE
11 years 9 months 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
14 years 1 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
14 years 1 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
13 years 10 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...
ICFP
2002
ACM
14 years 7 months ago
2002
ACM