4743 search results - page 148 / 949 » The PlusCal Algorithm Language |
105
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of ...
99
Voted
COCO
1994
Springer
15 years 6 months ago
1994
Springer
We study competing-prover one-round interactive proof systems. We show that one-round proof systems in which the rst prover is trying to convince a veri er to accept and the secon...
154
click to vote
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
108
Voted
OOPSLA
1989
Springer
15 years 6 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
112
Voted
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We present an O(m + n)-time algorithm that tests if a given directed graph is 2-vertex connected, where m is the number of arcs and n is the number of vertices. Based on this resul...