1005 search results - page 81 / 201 » A Language for Manipulating Arrays |
109
click to vote
PEPM
2009
ACM
16 years 29 days ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
141
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
129
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
135
click to vote
JLP
2007
15 years 4 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
138
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...