Equational logic and categorical semantics for multi-languages
From MaRDI portal
Publication:2133469
DOI10.1016/j.entcs.2020.09.005OpenAlexW3033613281WikidataQ113317305 ScholiaQ113317305MaRDI QIDQ2133469
Roy L. Crole, Samuele Buro, Isabella Mastroeni
Publication date: 29 April 2022
Full work available at URL: https://doi.org/10.1016/j.entcs.2020.09.005
equational logicprogramming languagescategorical logicinteroperabilitymulti-languagesorder-sorted signatures and theoriessubsort polymorphism
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Equational logic and categorical semantics for multi-languages ⋮ On multi-language abstraction. Towards a static analysis of multi-language programs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Alpha equivalence equalities
- Notions of computation and monads
- Partial Horn logic and Cartesian categories
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A rewriting logic approach to operational semantics
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Equational logic and categorical semantics for multi-languages
- On the semantic equivalence of language syntax formalisms
- Operational semantics for multi-language programs
- Categories for Types
- Inclusions and subtypes I: first-order case
- An equivalence-preserving CPS translation via multi-language semantics
- Verifying an Open Compiler Using Multi-language Semantics
- Some Varieties of Equational Logic
This page was built for publication: Equational logic and categorical semantics for multi-languages