DOI10.1006/jsco.1995.1004zbMath0836.68059MaRDI QIDQ1895396
Marco Temperini, Paolo Di Blasio
Publication date: 10 September 1995 Published in: Journal of Symbolic Computation (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1006/jsco.1995.1004
zbMATH Keywords
object-oriented programming techniques; enhanced strict inheritance; symbolic computation systems
Mathematics Subject Classification ID
68W30: Symbolic computation and algebraic computation
68N15: Theory of programming languages
Uses Software