797 search results - page 52 / 160 » Eliminating Proofs from Programs |
91
Voted
IEEEPACT
1998
IEEE
15 years 5 months ago
1998
IEEE
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...
116
Voted
ERSHOV
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observ...
98
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
129
click to vote
CORR
1998
Springer
15 years 12 days ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
213
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...