8132 search results - page 44 / 1627 » Dependability, Abstraction, and Programming |
TCC
2007
Springer
15 years 4 months 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...
101
click to vote
ENTCS
2008
14 years 10 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, ...
APLAS
2010
ACM
14 years 10 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...
ECOOP
2012
Springer
13 years 9 days 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...
POPL
2010
ACM
15 years 7 months ago
2010
ACM