We present a fully abstract game semantics for an Algol-like parallel language with non-blocking synchronization primitive. Elaborating on Harmer’s game model for nondeterminism, we develop a game framework appropriate for modeling parallelism. The game is a sophistication of the waitnotify game proposed in a previous work, which makes the signals for thread scheduling explicit with a certain s...

This paper covers the present situation and problem of experimental teaching of mathematics specialty in recent years, puts forward and demonstrates experimental teaching methods for different education. From the aspects of content and experimental teaching approach, uses as an example the course “Experiment for Program Designing & Algorithmic Language” and discusses teaching practice and labor...

The paper starts with a summary of the way the new theories of international trade have incorporated the role of multinational companies (MNCs) in the location of production. The main, specific assumptions used to incorporate MNCs’ activities relate to joint inputs at the company’s level combined with assumptions regarding costs at the plant level and spatial transaction costs. It is claimed th...

The case expressions of Scheme can and should be implemented efficiently. A three-level dispatch performs well, even when dispatching on symbols, and scales to large case expressions.

We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of complete plays as regular languages. Being derived directly from the fully abstract game semantics for IA, our method of reasoning inherits its desirable theoretical properties. The method is mathematically elementary...

We introduce the functional language IQu (“Haiku”) which, under the paradigm “quantum data & classical control” and in accordance with the model QRAM, allows to define and manipulate quantum circuits also by means of intermediate and partial measurement. Idealized Algol is the reference for the design of IQu. We extend the type system of Idealized Algol for typing both quantum-registers, i.e. t...

Accelerated [Gla01]. Access [Dix01, Kle00, Mor00a, Yor01]. Accident [KM01a]. across [Lop01]. Adaptable [Kem02b]. Adapter [May01]. Adapters [Dew02c, Dew02d]. Adaptive [Phi00c]. Adaptors [Bec02e, PW00]. Adding [Sta01]. Adventures [Sch00a]. Advice [Mey02a]. Alan [Sch01c]. Algol [Pla00a]. Algorithm [HR02, Lor01, Phi00a]. Algorithms [All00c, Ano02a, Bec02d, Buc02, Dew01c, Koe01, Mey01h, Mey01i]. All...