1005 search results - page 4 / 201 » A Language for Manipulating Arrays |
ICRA
1999
IEEE
15 years 2 months ago
1999
IEEE
153
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
ACSD
2004
IEEE
15 years 1 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
IFL
2003
Springer
15 years 2 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...