1131 search results - page 131 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
76
Voted
ALP
1990
Springer
15 years 4 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
111
Voted
CCS
2011
ACM
14 years 17 days ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
129
click to vote
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
103
click to vote
ITP
2010
15 years 4 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...