|
|
|
|
Langemyr, Lars
Universitat Tubingen
Tubingen, Germany
|
|
|
|
|
|
|
|
Date Reviewed |
|
|
1 - 2 of 2
reviews
|
|
|
|
|
|
|
|
Fundamentals of algebraic specification 2: module specifications and constraints Ehrig H. (ed), Mahr B., Springer-Verlag New York, Inc., New York, NY, 1990. Type: Book (9789780387517995)
The authors describe recent progress in the area of formal methods for software development. They focus on algebraic techniques for specification, an area in which they have contributed substantially to recent developments. They do not...
|
Feb 1 1991 |
|
|
|
|
|
|
An object-oriented approach to algebra system design Abdali S., Cherry G., Soiffer N. Symbolic and algebraic computation (Proceedings of the fifth ACM symposium, Waterloo, Ontario, Canada, Jul 21-23, 1986) 24-30, 1986. Type: Proceedings
The paper describes design ideas and implementation techniques for a computer algebra system written in the object-oriented language Smalltalk-80. The design goals are similar to other new generation computer algebra systems, the best-...
|
Oct 1 1988 |
|
|
|
|
|
|
|
|
|
|
|