283 search results - page 43 / 57 » Functional Pearls: Probabilistic functional programming in H... |
100
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
111
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
121
click to vote
IEEEARES
2009
IEEE
14 years 11 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...
127
click to vote
ICALP
2011
Springer
14 years 5 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
134
click to vote
IDT
2010
15 years 1 days ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...