4835 search results - page 593 / 967 » Refactoring Functional Programs |
184
click to vote
FAST
2009
15 years 4 months ago
2009
The lineage of a piece of data is of utility to a wide range of domains. Several application-specific extensions have been built to facilitate tracking the origin of the output th...
195
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
166
click to vote
TE
2010
15 years 1 months ago
2010
The work presented here demonstrates the feasibility of using the single-mode fibers of an optical Internet network to deliver visible light between separate laboratories as a way ...
229
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
296
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...