Fractional Semantics

DOI10.1007/11784180_22MaRDI QIDQ3623940zbMATH OpenOpenAlexFDO

Authors Härmel Nestra

Publication date 28 April 2009

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11784180_22

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Iteratively defined transfinite trace semantics and program slicing with respect to them
• Transfinite corecursion
• Non-standard semantics for program slicing
• Transfinite semantics in the form of greatest fixpoint
• A trajectory-based strict semantics for program slicing

Cited in

(6)

• Trace-Based Coinductive Operational Semantics for While
• Polymorphic Fractional Capabilities
• Transfinite corecursion
• Iteratively defined transfinite trace semantics and program slicing with respect to them
• Transfinite semantics in the form of greatest fixpoint
• Non-standard semantics for program slicing

This page was built for publication: Fractional Semantics

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