Equational semantics

MaRDI QIDQ2702098zbMATH OpenFDO

Authors Loïc Correnson

Publication date 13 May 2001

Published in Informatica (Ljubljana) (Search for Journal in Brave)

zbMATH Keywords

attribute grammarsequational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
• scientific article; zbMATH DE number 2080046
• Composition and evaluation of attribute coupled grammars
• scientific article; zbMATH DE number 4031017
• Attribute Grammars and Categorical Semantics

Cited in

(5)

• Automated Deduction – CADE-19
• scientific article; zbMATH DE number 1962779 (Why is no real title available?)
• Equational logic and categorical semantics for multi-languages
• Equational Reasoning with Applicative Functors
• scientific article; zbMATH DE number 1487858 (Why is no real title available?)

This page was built for publication: Equational semantics

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