scientific article; zbMATH DE number 7356843

MaRDI QIDQ4992502zbMATH OpenFDO

Authors Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1307.7446, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS13.8

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Prototyping SOS meta-theory in Maude
• Towards SOS meta-theory for language-based security
• SOS formats and meta-theory: 20 years after
• GMeta: a generic formal metatheory framework for first-order representations
• Towards a mechanized metatheory of Standard ML
• Mechanizing metatheory in a logical framework
• Meta-modelling for formal software development
• Compositional SOS and beyond: A coalgebraic view of open systems

Cited in

(5)

• SOS rule formats for idempotent terms and idempotent unary operators
• Prototyping SOS meta-theory in Maude
• Pragmatics of modular SOS
• Towards SOS meta-theory for language-based security
• The way we were: structural operational semantics research in perspective

Describes a project that uses

Uses Software

• Maude

This page was built for publication:

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