967 search results - page 82 / 194 » Probabilistic Predicative Programming |
115
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
241
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
165
click to vote
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
105
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explici...
112
Voted
ENTCS
2006
15 years 2 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...