Fractional Semantics

DOI10.1007/11784180_22zbMATH Open1236.68178OpenAlexW2911591512MaRDI QIDQ3623940FDOQ3623940

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

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

Mathematics Subject Classification ID

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

Cited In (6)

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

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)