AbstractTabular representations have been proposed for structuring mathematical expressions as they appear in the specification of programs. The thesis of this work is that tables not only help in writing and checking complex expressions, but also in their formal manipulation. We consider tabular predicates and tabular relations and their use in program verification and refinement
This paper describes a prototype tool for inverting tabular representations of mathematical function...
ii Tabular expressions have been proved in practice to be an excellent way to check the completeness...
Abstract. Abduction has been on the back burner in logic programming, as it can be too difficult to ...
Our research Group is developing methods of producing practical reference documentation for software...
AbstractMathematical expressions in tabular form (also called “tabular expressions” or “tables”) hav...
AbstractParnas et al. (Janicki et al., in: Brink, Kahl, Schmidt (Eds.), Relational Methods in Comput...
Multi-dimensional mathematical expressions, called tables, have proven to be useful for documenting ...
We describe our experience applying tabular mathematical approaches to software specifications. Our ...
Tabular expressions were proposed as a documentation tool that can be used to document software prec...
We describe our experience applying tabular mathematical approaches to software specifications. Our ...
Abstract. Abduction has been on the back burner in logic programming, as ab-duction can be too diffi...
Abstract. Despite its potential as a reasoning paradigm in AI applications, ab-duction has been on t...
In [15, 22, 25, 26] Parnas et al. advocate the use of relational model for documenting the intended ...
submitted; revised; accepted Abduction has been on the back burner in logic programming, as abductio...
Abduction has been on the back burner in logic programming, as abduction can be too difficult to imp...
This paper describes a prototype tool for inverting tabular representations of mathematical function...
ii Tabular expressions have been proved in practice to be an excellent way to check the completeness...
Abstract. Abduction has been on the back burner in logic programming, as it can be too difficult to ...
Our research Group is developing methods of producing practical reference documentation for software...
AbstractMathematical expressions in tabular form (also called “tabular expressions” or “tables”) hav...
AbstractParnas et al. (Janicki et al., in: Brink, Kahl, Schmidt (Eds.), Relational Methods in Comput...
Multi-dimensional mathematical expressions, called tables, have proven to be useful for documenting ...
We describe our experience applying tabular mathematical approaches to software specifications. Our ...
Tabular expressions were proposed as a documentation tool that can be used to document software prec...
We describe our experience applying tabular mathematical approaches to software specifications. Our ...
Abstract. Abduction has been on the back burner in logic programming, as ab-duction can be too diffi...
Abstract. Despite its potential as a reasoning paradigm in AI applications, ab-duction has been on t...
In [15, 22, 25, 26] Parnas et al. advocate the use of relational model for documenting the intended ...
submitted; revised; accepted Abduction has been on the back burner in logic programming, as abductio...
Abduction has been on the back burner in logic programming, as abduction can be too difficult to imp...
This paper describes a prototype tool for inverting tabular representations of mathematical function...
ii Tabular expressions have been proved in practice to be an excellent way to check the completeness...
Abstract. Abduction has been on the back burner in logic programming, as it can be too difficult to ...
DOI
Add to ORKG