Denotational semantics of tabular expressions

DOI10.13328/J.CNKI.JOS.004515MaRDI QIDQ5499195zbMATH OpenFDO

Authors Peng Zhang, Lei Liu, Huaxiao Liu, Ying Jin

Publication date 11 February 2015

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004515

zbMATH Keywords

denotational semanticsoftware documentationtabular expression

Mathematics Subject Classification ID

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

Recommendations

• Tabular expressions and their relational semantics
• The interchange format of tabular expressions using XML
• Tabular expressions operators
• scientific article; zbMATH DE number 1735899
• On a formal semantics of tabular expressions

Cited in

(9)

• The interchange format of tabular expressions using XML
• Tabular expressions operators
• COMPUTING EQUIVALENT TABULAR FUNCTIONS
• scientific article; zbMATH DE number 1735899 (Why is no real title available?)
• Denotational semantics of a user-oriented, domain-specific language
• Tabular expressions and their relational semantics
• On a formal semantics of tabular expressions
• Exploring tabular verification and refinement
• Tabula language for description of structured data

This page was built for publication: Denotational semantics of tabular expressions

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