An imperative language based on distributive categories II

DOI10.1051/ITA/1993270605031MaRDI QIDQ4304553zbMATH OpenOpenAlexFDO

Authors Wafaa Khalil, R. F. C. Walters

Publication date 8 February 1995

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92463

zbMATH Keywords

data typesdistributive categoriesimperative programming languages

Mathematics Subject Classification ID

Categories and theories (18C99) Categorical structures (18D99) Theory of programming languages (68N15)

Recommendations

• An imperative language based on distributive categories
• scientific article; zbMATH DE number 742726
• A graph model for imperative computation
• scientific article; zbMATH DE number 3999259
• Graph-grammar semantics of a higher-order programming language for distributed systems

Cites work

• An imperative language based on distributive categories
• Categories and Computer Science

Cited in

(9)

• On the relations between distributive computability and the BSS model
• Matrices, machines and behaviors
• Imperative programming in sets with atoms
• An imperative language based on distributive categories
• scientific article; zbMATH DE number 3999259 (Why is no real title available?)
• Feedback, trace and fixed-point semantics
• A graph model for imperative computation
• Bicategories of processes
• Tail recursion through universal invariants

This page was built for publication: An imperative language based on distributive categories II

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