Category-sorted algebra-based action semantics

DOI10.1016/0304-3975(90)90116-YzbMath0717.68063OpenAlexW1976146918MaRDI QIDQ2638792

David A. Schmidt, Susan Even

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) Semantics in the theory of computing (68Q55) Categories of algebras (08C05) Natural morphisms, dinatural morphisms (18A23)

Uses Software

• ML

Cites Work

• Executable semantic descriptions
• Unified Algebras and action semantics
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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