5415 search results - page 224 / 1083 » The Implementation of Functional Programming Languages |
118
click to vote
COMPSAC
2011
IEEE
14 years 1 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
110
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
131
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
103
click to vote
CC
2000
Springer
15 years 5 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...