Fractional Semantics
From MaRDI portal
Publication:3623940
DOI10.1007/11784180_22zbMath1236.68178OpenAlexW2911591512MaRDI QIDQ3623940
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
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Transfinite semantics in the form of greatest fixpoint ⋮ Trace-Based Coinductive Operational Semantics for While
This page was built for publication: Fractional Semantics