4690 search results - page 334 / 938 » An operational semantics for Scheme |
139
click to vote
JCDL
2003
ACM
16 years 1 days ago
2003
ACM
To support non-trivial clients, such as data exploration and analysis environments, digital libraries must be able to describe the access modes that their contents support. We pre...
162
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we first demonstrate a gap between the security of verifiably committed signatures in the two-party setting and the security of verifiably committed signat...
215
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
177
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way tha...
174
Voted
MVA
1992
15 years 8 months ago
1992
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...