Generator induction in order sorted algebras-Reference-Cited by-同舟云学术

Generator induction in order sorted algebras

Published:1991-01 Issue:1 Volume:3 Page:2-20
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Owe Olaf¹,Dahl Ole-Johan¹

Affiliation:

1. Institute of Informatics, University of Oslo, PB 1080, Blindem, Oslo 8, Norway

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01211433.pdf

Reference12 articles.

1. Cardelli L.: A Semantics of Multiple Inheritance. In: Semantics of Data Types G. Khan (ed.) Lecture Notes in Computer Science 173 Springer-Verlag 1984.

2. Rewrite Systems on a Lattice of Types;Cunningham R. J.;Acta Informatica,1985

3. Dahl O.-J.: Object Oriented Specification. In: Research Directions in Object-Oriented Programming B. Shriver and P. Wegner (eds) MIT Press 1987.

4. Futasugi K. Goguen J. A. Jouannaud J.-P. and Meseguer J.: Principles of OBJ2. Proc. 1985 Symp. on Principles of Programming Languages and Programming Association for Computing Machinery 1985 W. Brauer (ed.) pp. 52–66 Lecture Notes in Computer Science 194 Springer-Verlag 1985.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures;Secure IT Systems;2021

2. The Birth of Object Orientation: the Simula Languages;From Object-Orientation to Formal Methods;2004

3. A Bibliography of Ole-Johan Dahl;From Object-Orientation to Formal Methods;2004

4. The Roots of Object Orientation: The Simula Language;Software Pioneers;2002

5. Order-Sorted Inductive Types;Information and Computation;1999-02