On a formal semantics of tabular expressions
From MaRDI portal
Publication:5929014
DOI10.1016/S0167-6423(00)00004-6zbMath0971.68100MaRDI QIDQ5929014
Publication date: 2001
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items
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, Defense in Depth Formulation and Usage in Dynamic Access Control, A Categorical Approach to Mereology and Its Application to Modelling Software Components, Defining the meaning of tabular mathematical expressions
