scientific article; zbMATH DE number 4018355

MaRDI QIDQ3030232zbMATH OpenFDO

Authors Manrique Iriarte Quirós

Publication date 1986

zbMATH Keywords

blocksconditionalsassignment sequentialsnonrecursive proceduresstate transformers

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4009792
• Denotational semantics of mixed computation processes for a structural programming language
• Parametricity and local variables
• scientific article; zbMATH DE number 2012402
• scientific article; zbMATH DE number 3890703

Cited in

(6)

• Relating two semantics of locally scoped names
• Detecting global variables in denotational specifications
• scientific article; zbMATH DE number 4157860 (Why is no real title available?)
• Semantics for local computational effects
• Variable declarations in natural deduction
• Denotational semantics of mixed computation processes for a structural programming language

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3030232)