The regular-language semantics of second-order idealized ALGOL
type: Item
instance of: scholarly article
title: The regular-language semantics of second-order idealized ALGOL
zbMATH Open document ID: 1070.68083
DOI: 10.1016/S0304-3975(03)00315-3
author: Dan R. Ghica
author: Guy McCusker
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 2111002
zbMATH Keywords: Game semantics
zbMATH Keywords: ALGOL-like languages
zbMATH Keywords: Regular languages
MaRDI profile type: Publication
cites work: Q4222822
cites work: Q4175528
cites work: Regular-Language Semantics for a Call-by-Value Programming Language
cites work: Q2754137
cites work: Payoffs, Intensionality and Abstraction in Games
cites work: Extending regular expressions with iterated shuffle
cites work: Even Simple Programs Are Hard To Analyze
cites work: Q4231031
cites work: Syntactic control of interference revisited
cites work: Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995
cites work: From Algol to polymorphic linear lambda-calculus
cites work: Q3932278
cites work: Theories of Programming Languages
cites work: Q5685626
full work available at URL: s0304-3975(03)00315-3
OpenAlex ID: W1996612506
description: scientific article; zbMATH DE number 2111002