Transfinite semantics in the form of greatest fixpoint

DOI10.1016/J.JLAP.2009.03.001MaRDI QIDQ843215zbMATH OpenOpenAlexFDO

Authors Härmel Nestra

Publication date 29 September 2009

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2009.03.001

zbMATH Keywords

fractional semanticsgreatest fixpointtransfinite semanticstree semantics

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• Transfinite corecursion
• Fractional Semantics
• scientific article; zbMATH DE number 1722708
• Iteratively defined transfinite trace semantics and program slicing with respect to them
• On Greatest Fixpoint Semantics of Logic Programming

Cites work

• Coinductive big-step operational semantics
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Fractional Semantics
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• Non-standard semantics for program slicing
• Programming Languages and Systems
• Semantics with applications: an appetizer.
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(4)

• Trace-Based Coinductive Operational Semantics for While
• Transfinite corecursion
• Fractional Semantics
• Cut branches before looking for bugs: certifiably sound verification on relaxed slices

This page was built for publication: Transfinite semantics in the form of greatest fixpoint

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