Adding recursive constructs to bialgebraic semantics

@article{Klin2004AddingRC,
  title={Adding recursive constructs to bialgebraic semantics},
  author={Bartek Klin},
  journal={J. Log. Algebr. Program.},
  year={2004},
  volume={60-61},
  pages={259-286}
}
Abstract This paper aims at fitting a general class of recursive equations into the framework of `well-behaved' structural operational semantics, formalized as bialgebraic semantics by Turi and Plotkin. Rather than interpreting recursive constructs by means of operational rules, separate recursive equations are added to semantic descriptions of languages. The equations, together with the remaining rules, are then interpreted in a suitable category and merged by means of certain fixpoint… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 22 CITATIONS

Combining Bialgebraic Semantics and Equations

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Modular Bialgebraic Semantics and Algebraic Laws

VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Structural congruence for bialgebraic semantics

  • J. Log. Algebr. Meth. Program.
  • 2016
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Programming Languages

  • Lecture Notes in Computer Science
  • 2013
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Structural Congruences for Bialgebraic Semantics

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Presenting Distributive Laws

  • Logical Methods in Computer Science
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

Modularity and Implementation of Mathematical Operational Semantics

  • Electr. Notes Theor. Comput. Sci.
  • 2011
VIEW 1 EXCERPT
CITES BACKGROUND

Relating coalgebraic notions of bisimulation

VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 20 REFERENCES

Categorical Modelling of Structural Operational Rules: Case Studies

  • Category Theory and Computer Science
  • 1997
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Towards a mathematical operational semantics

  • Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science
  • 1997
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Towards Weak Bisimulation For Coalgebras

  • Electr. Notes Theor. Comput. Sci.
  • 2002
VIEW 1 EXCERPT

Semantics of name and value passing

  • Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
  • 2001
VIEW 1 EXCERPT

Structural Operational Semantics

  • Handbook of Process Algebra
  • 2001
VIEW 1 EXCERPT