4218 search results - page 733 / 844 » Complete sets of cooperations |
ITICSE
1997
ACM
14 years 1 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
FSTTCS
1993
Springer
14 years 1 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
PODS
1994
ACM
14 years 1 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
TAGT
1994
Springer
14 years 1 months ago
1994
Springer
An operation of concatenation is introduced for graphs. Then strings are viewed as expressions denoting graphs, and string languages are interpreted as graph languages. For a clas...
FPCA
1989
14 years 1 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...