FSTTCS
1999
Springer
14 years 3 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
FSTTCS
1999
Springer
14 years 3 months ago
1999
Springer
FSTTCS
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
FSTTCS
1999
Springer
14 years 3 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
FSTTCS
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Shop scheduling problems are known to be notoriously intractable, both in theory and practice. In this paper we give a randomized approximation algorithm for flow shop s...
FSTTCS
1999
Springer
14 years 3 months ago
1999
Springer
FSTTCS
1999
Springer
14 years 3 months ago
1999
Springer