5096 search results - page 116 / 1020 » Associations as a Language Construct |
148
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
175
click to vote
JUCS
2006
15 years 6 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
158
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Graphs are a versatile representation of many systems in computer science, the social sciences, and mathematics, but graph theory is not taught in schools. We present our work on ...
154
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...