An algebraic definition for control structures
type: Item
instance of: scholarly article
title: An algebraic definition for control structures
zbMATH Open document ID: 0456.68015
DOI: 10.1016/0304-3975(80)90028-6
author: Guy Cousineau
published in: Theoretical Computer Science
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3714895
zbMATH Keywords: control structures
zbMATH Keywords: program transformations
MaRDI profile type: Publication
full work available at URL: 0304-3975(80)90028-6
OpenAlex ID: W1994285316
cites work: Q4042671
cites work: Q3898006
cites work: Flow diagrams, turing machines and languages with only two formation rules
cites work: A Transformation System for Developing Recursive Programs
cites work: Q5684216
cites work: Q5181349
cites work: Tree acceptors and some of their applications
cites work: Translatability of flowcharts into while programs
cites work: On the capabilities of while, repeat, and exit statements
cites work: Notes on avoiding ``go to'' statements
cites work: Analysis of structured programs
cites work: Program Improvement by Source-to-Source Transformation
cites work: Q4124327
cites work: Q4164787
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Q5636307
description: scientific article; zbMATH DE number 3714895