Electronic Resource
Springer
Formal aspects of computing
3 (1991), S. 2-20
ISSN:
1433-299X
Keywords:
Algebraic specification
;
Order sorted algebras
;
Generator induction
;
Functional programming
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Linguistic and semantic consequences of combining the ideas of order sorted algebras (as in OBJ) and generator induction (as in Larch) are investigated. It is found that one can gain the advantages of both, in addition to increased flexibility in defining signatures and generator bases. Our treatment also gives rise to typing control stronger in a certain sense than that of OBJ, as well as the detection of inherently inconsistent signatures.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01211433
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |