4743 search results - page 262 / 949 » The PlusCal Algorithm Language |
148
Voted
STOC
1998
ACM
15 years 8 months ago
1998
ACM
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
131
Voted
ITICSE
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
115
Voted
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
101
Voted
SAS
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
114
Voted
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...