1173 search results - page 127 / 235 » On the Compositionality of Round Abstraction |
101
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
112
Voted
ENTCS
2007
15 years 19 days ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
101
Voted
CC
2002
Springer
15 years 15 days ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
118
click to vote
CRYPTO
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
107
Voted
MM
2005
ACM
15 years 6 months ago
2005
ACM
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...