8766 search results - page 105 / 1754 » Functional logic programming |
ICALP
1991
Springer
15 years 1 months ago
1991
Springer
IPSN
2010
Springer
15 years 4 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...
191
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
POPL
1993
ACM
15 years 2 months ago
1993
ACM
