1097 search results - page 131 / 220 » Revision Programming = Logic Programming Integrity Constra... |
126
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
130
click to vote
CACM
2010
15 years 3 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
131
click to vote
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
103
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
In this work, we present a new optical routing framework, O-Router for future low-power on-chip optical interconnect integration utilizing silicon compatible nano-photonic devices...
107
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
In this work, we present a new optical routing framework, O-Router for future low-power on-chip optical interconnect integration utilizing silicon compatible nano-photonic devices...