Tabular expressions and their relational semantics

MaRDI QIDQ5475455zbMATH OpenFDO

Authors Ryszard Janicki, A. Wassyng

Publication date 19 June 2006

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1735899
• On a formal semantics of tabular expressions
• Pragmatic Formal Specification of System Properties by Tables
• Denotational semantics of tabular expressions
• Tabular expressions operators

Cited in

(12)

• Adding equality to semantic tableaux
• 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?)
• scientific article; zbMATH DE number 2150299 (Why is no real title available?)
• Discovering the Semantics of Relational Tables Through Mappings
• Denotational semantics of tabular expressions
• On a formal semantics of tabular expressions
• Exploring tabular verification and refinement
• Tabula language for description of structured data
• Defining the meaning of tabular mathematical expressions

This page was built for publication: Tabular expressions and their relational semantics

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