On a formal semantics of tabular expressions

DOI10.1016/S0167-6423(00)00004-6MaRDI QIDQ5929014zbMATH OpenFDO

Authors Ryszard Janicki, Ridha Khedri

Publication date 2001

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-6423(00)00004-6

zbMATH Keywords

tabular expressions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

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

Cited in

(12)

• Adding equality to semantic tableaux
• Tabular verification and refinement
• Defense in Depth Formulation and Usage in Dynamic Access Control
• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• scientific article; zbMATH DE number 5511125 (Why is no real title available?)
• scientific article; zbMATH DE number 1735899 (Why is no real title available?)
• Pragmatic Formal Specification of System Properties by Tables
• Tabular expressions and their relational semantics
• Denotational semantics of tabular expressions
• Application of the trace assertion method to the specification, design, and verification of automaton programs
• Requirements analysis for engineering computation: a systematic approach for improving reliability
• Defining the meaning of tabular mathematical expressions

This page was built for publication: On a formal semantics of tabular expressions

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