微信服务号

微信订阅号

2025-5-17- 14
Home > Archive>Volume 8, Issue 8, 1997 >636-640
PDF HTML XML Export Cite reminder
PUTTING LIBERAL THEORY MORPHISMS TOGETHER IN INSTITUTIONS
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [1]
    • |
  • Related
    • |
  • Cited by [6]
    • | |
  • Comments
    Abstract:

    The relationship among liberalities of glued theory morphisms and factor theory morphisms in institutions is clarified under certain intuitive conditions, and liberality of the composition of liberal theory morphisms in institutions is shown.

    Reference
    1 陆汝钤．计算机语言的形式语义．北京：科学出版社．1992． 2 Reichel H．Initially restricting algebraic theories．In：Dembinshi P ed．Mathematical Foundations of Computer Science．LNCS88, New York：Springer-Verlag, 1980．504～514． 3 Burstall R．Goguen J．The semantics of clear, a specification language．In：Bjorner D ed．Proc．of the 1979 Copen． hagen Winter School on Abstract Software Specification．LNCS 86，New York：Springer-Verlag．1980．292～332． 4 Goguen J A, Burstall R M．Institutions：abstract model theory for specification and programming．J．ACM．1992． 39(1)：95～1 46． 5 Ying M S．Putting consistent theories together in institutions．J．of Comput．Sei．8．Techno1．，1995，10(3)：260 ～266． 6 应明生．Institution中合并理论的初始与终结语义．软件学报．1996．7(6)：360～363． Abstract The relationship among liberalities of glued theory morphisms and factor theory morphisms in institutions is clarified under certain intuitive conditions，and liberali- ty of the composition of liberal theory morphisms in institutions is shown．
    Related
    Comments
    Comments
    分享到微博
    Submit
Get Citation

应明生. Institution中自由理论态射的合成.软件学报,1997,8(8):636-640

Copy
Share
Article Metrics
  • Abstract:3907
  • PDF: 4476
  • HTML: 0
  • Cited by: 0
History
  • Revised:October 16,1996
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045181Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063