967 search results - page 5 / 194 » Probabilistic Predicative Programming |
IEEEPACT
1998
IEEE
13 years 11 months ago
1998
IEEE
Conventional speculative architectures use branch prediction to evaluate the most likely execution path during program execution. However, certain branches are difficult to predic...
AI
2004
Springer
13 years 7 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
POPL
1999
ACM
13 years 11 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...