𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The regular-language semantics of second-order idealized ALGOL

✍ Scribed by Dan R. Ghica; Guy McCusker

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
479 KB
Volume
309
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

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 model inherits its good theoretical properties; in fact, for second-order IA taken as a stand-alone language the regular language model is fully abstract. The method is algorithmic and formal, which makes it suitable for automation. We show how reasoning is carried out using a meta-language of extended regular expressions, a language for which equivalence is decidable.

πŸ“œ SIMILAR VOLUMES

On second order weakly hyperbolic equati
On second order weakly hyperbolic equations with oscillating coefficients and regularity loss of the solutions
✍ Fumihiko Hirosawa πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 216 KB

## Abstract Regularity of the solution for the wave equation with constant propagation speed is conserved with respect to time, but such a property is not true in general if the propagation speed is variable with respect to time. The main purpose of this paper is to describe the order of regularity