Tabular expressions operators

MaRDI QIDQ2909625zbMATH OpenFDO

Authors Imen Bourguiba, Belaid Moa

Publication date 6 September 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL http://iospress.metapress.com/content/a1w3231338663505/fulltext.html

zbMATH Keywords

table-based techniques

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Tabular expressions and their relational semantics
• scientific article; zbMATH DE number 1735899
• Denotational semantics of tabular expressions
• Defining the meaning of tabular mathematical expressions
• Exploring tabular verification and refinement

Cited in

(6)

• The interchange format of tabular expressions using XML
• COMPUTING EQUIVALENT TABULAR FUNCTIONS
• scientific article; zbMATH DE number 1735899 (Why is no real title available?)
• Tabular expressions and their relational semantics
• Denotational semantics of tabular expressions
• Exploring tabular verification and refinement

This page was built for publication: Tabular expressions operators

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