Category-sorted algebra-based action semantics

DOI10.1016/0304-3975(90)90116-YMaRDI QIDQ2638792zbMATH OpenOpenAlexFDO

Authors Susan Even, David A. Schmidt

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90116-y

zbMATH Keywords

action semanticscategory-sorted algebra

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Categories of algebras (08C05) Natural morphisms, dinatural morphisms (18A23) Semantics in the theory of computing (68Q55)

Recommendations

• An Action Semantics Based on Two Combinators
• scientific article; zbMATH DE number 177779
• Action Algebras and Model Algebras in Denotational Semantics
• scientific article; zbMATH DE number 4050948
• Unified algebras and action semantics

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• Executable semantic descriptions
• scientific article; zbMATH DE number 4180773 (Why is no real title available?)
• scientific article; zbMATH DE number 3864473 (Why is no real title available?)
• scientific article; zbMATH DE number 3810954 (Why is no real title available?)
• scientific article; zbMATH DE number 3949678 (Why is no real title available?)
• scientific article; zbMATH DE number 4050948 (Why is no real title available?)
• scientific article; zbMATH DE number 3707807 (Why is no real title available?)
• scientific article; zbMATH DE number 42475 (Why is no real title available?)
• scientific article; zbMATH DE number 3483540 (Why is no real title available?)
• Unified algebras and action semantics

Cited in

(4)

• Action Algebras and Model Algebras in Denotational Semantics
• An Action Semantics Based on Two Combinators
• scientific article; zbMATH DE number 177779 (Why is no real title available?)
• Unified algebras and action semantics

Describes a project that uses

Uses Software

• ML

This page was built for publication: Category-sorted algebra-based action semantics

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