Boris A. Trakhtenbrot

Learn More
Concerns about computational problems requiring brute-force or exhaustive search methods have gained particular attention in recent years because of the widespread research on the " P = NP? " question. The Russian word for " brute-force search " is " perebor. " It has been an active research area in the Soviet Union for several decades. Disputes about(More)
<italic>Denotational semantics for an ALGOL-like language with finite-mode procedures, blocks with local storage, and sharing (aliasing) is given by translating programs into an appropriately typed &#955;-calculus. Procedures are entirely explained at a purely functional level - independent of the interpretation of program constructs - by continuous models(More)