8132 search results - page 44 / 1627 » Dependability, Abstraction, and Programming |
136
click to vote
TCC
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
182
click to vote
ENTCS
2008
15 years 6 months ago
2008
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
200
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
175
click to vote
ECOOP
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...