An Algebra of Properties

@inproceedings{Weibel1991AnAO,
  title={An Algebra of Properties},
  author={Trudy Weibel and Gaston H. Gonnet},
  booktitle={ISSAC},
  year={1991}
}
The purpose of this paper is to build a framework and give algorithms to solve queries of the form obj E Prop where the object obj is expressible in terms of other given objects. We develop an algebra of properties, PROP, in which we carry out computations. We present a set of rules (axioms Axl – Ax7) for the behaviour of the basic functions on properties. In addition, we represent the algorithmic components such as if and while by the algebra operations meet and join. We conclude by proposing… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
3 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…