4743 search results - page 121 / 949 » The PlusCal Algorithm Language |
217
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
130
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We introduce an extension of the XQuery language, FluX, that supports event-based query processing and the conscious handling of main memory buffers. Purely event-based queries of...
186
click to vote
ICAI
2010
15 years 13 days ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
128
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
130
click to vote
JCSS
2002
15 years 2 months ago
2002
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...