4716 search results - page 488 / 944 » Tangible functional programming |
187
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
176
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
157
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
During the course of a program’s execution, a processor performs many trivial computations; that is, computations that can be simplified or where the result is zero, one, or equ...
218
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
We describe a code reuse tool for use in the Looking Glass IDE, the successor to Storytelling Alice [17], which enables middle school students with little to no programming experi...
192
click to vote
IPSN
2010
Springer
16 years 1 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ï¬...