A unified-algebra-based specification language for symbolic computing
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 122-133
- https://doi.org/10.1007/bfb0013173
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- MANTRA: a shell for hybrid knowledge representationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Unified domains and abstract computational structuresPublished by Springer Nature ,1993
- A rewrite-based type discipline for a subset of computer algebraJournal of Symbolic Computation, 1991
- Algebraic SpecificationPublished by Elsevier ,1990
- OBJ: Programming with equalities, subsorts, overloading and parameterizationPublished by Springer Nature ,1988
- The specification language of OBSCUREPublished by Springer Nature ,1988
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- A set-theoretic semantics for ClearActa Informatica, 1984
- Introducing institutionsPublished by Springer Nature ,1984