5415 search results - page 738 / 1083 » The Implementation of Functional Programming Languages |
187
click to vote
JFP
2002
15 years 6 months ago
2002
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
172
click to vote
TPLP
2002
15 years 6 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
195
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
167
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Wireless reprogramming of a sensor network is useful for uploading new code or for changing the functionality of existing code. Through the process, a node should remain recept...
154
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...