On the semantic equivalence of language syntax formalisms

DOI10.1016/J.TCS.2020.08.022zbMATH Open1461.18001OpenAlexW3080522507MaRDI QIDQ2202012FDOQ2202012

Isabella Mastroeni, Samuele Buro

Publication date: 17 September 2020

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.08.022

Recommendations

• scientific article; zbMATH DE number 3928997
• A 2-categorical framework for the syntax and semantics of many-sorted equational logic
• Polymorphic syntax definition
• scientific article; zbMATH DE number 3845076
• Initiality for typed syntax and semantics

zbMATH Keywords

context-free grammarsalgebraic signaturessyntax specication

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Cites Work

• Three models for the description of language
• Initial Algebra Semantics and Continuous Algebras
• An efficient context-free parsing algorithm
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Model theory.
• Heterogeneous algebras
• General context-free recognition in less than cubic time
• Fast context-free grammar parsing requires fast boolean matrix multiplication
• Semantics of context-free languages
• Algebras with a Scheme of Operators
• Title not available (Why is that?)
• Essence of generalized partial computation
• Title not available (Why is that?)
• Polymorphic syntax definition
• Title not available (Why is that?)
• CONTEXT-FREE ALGEBRAS
• Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings

Cited In (14)

• Formal similarities and differences among qualitative conditional semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equational logic and categorical semantics for multi-languages
• On conceptual completeness of syntactic-semantical systems
• CONCUR 2003 - Concurrency Theory
• A NEW APPROACH TO FORMAL SYNTAX
• A syntactic view of computational adequacy
• Title not available (Why is that?)
• Analogy and Formal Languages
• Representing structural language features in formal meta-languages
• Analysis, design and research of synonymy in formal languages
• On bounded interpretations of grammar forms
• Meaning and formal semantics in generative grammar

This page was built for publication: On the semantic equivalence of language syntax formalisms

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