On recent trends in algebraic specification-Reference-Cited by-同舟云学术

On recent trends in algebraic specification

Published:1989 Issue: Volume: Page:263-288
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Ehrig H.,Pepper P.,Orejas F.

Publisher

Springer Berlin Heidelberg

Link

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

Reference48 articles.

1. Blum, E.K.; Ehrig, H.; Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34, 2/3 (1987), 293–339

2. Burstall, R.M.; Goguen, J.A.: Putting theories together to make specifications. Proc. Int. Conf. Artificial Intelligence, 1977

3. Broy, M.; Pepper, P.; Wirsing, M.: On the algebraic definition of programming languages. TOPLAS 9, 1987, pp. 54–99

4. Broy, M.: Equational specification of partial higher order algebras. In: M. Broy (ed.): Logic of Programming and Calculi of Discrete Design, Marktoberdorf, 1986, Nato ASI Series F, Vol. 36. Berlin: Springer (1987), pp. 185–241

5. Broy, M., Wirsing, M.: Programming languages as abstract data types. Proc. 5th Conf. on Trees in Algebra and Programming, Lille, pp. 160–177 (1980)

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

1. Generalized Theoroidal Institution Comorphisms;Recent Trends in Algebraic Development Techniques;2009

2. Combining and representing logical systems;Category Theory and Computer Science;1997

3. Algebraic implementation of abstract data types: a survey of concepts and new compositionality results;Mathematical Structures in Computer Science;1996-02

4. Equivalences among various logical frameworks of partial algebras;Computer Science Logic;1996

5. Different types of arrow between logical frameworks;Automata, Languages and Programming;1996