Some Observations Concerning Formal Differentiation of Set Theoretic Expressions
- 1 April 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (2) , 196-225
- https://doi.org/10.1145/357162.357166
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Formal integration: A program transformation techniqueComputer Languages, 1981
- An algorithm for reduction of operator strengthCommunications of the ACM, 1977
- Macro SPITBOL—a SNOBOL4 compilerSoftware: Practice and Experience, 1977
- An introduction to the set theoretical language SETLComputers & Mathematics with Applications, 1975