scientific article; zbMATH DE number 4018355

zbMATH Open0626.68007MaRDI QIDQ3030232FDOQ3030232

Authors: Manrique Iriarte Quirós 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

blocksconditionalsassignment sequentialsnonrecursive proceduresstate transformers

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (6)

• Relating two semantics of locally scoped names
• Variable declarations in natural deduction
• Denotational semantics of mixed computation processes for a structural programming language
• Title not available (Why is that?)
• Detecting global variables in denotational specifications
• Semantics for local computational effects

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)