CLASH
发表于 2025-3-30 09:30:04
http://reply.papertrans.cn/16/1526/152582/152582_51.png
OUTRE
发表于 2025-3-30 16:15:17
Institutions: An Abstract Framework for Formal Specifications,formal notion of a logical system viewed from a model-theoretic perspective. We also sketch some possibilities of linking this to more proof-oriented concepts. We argue that the theory of institutions provides an appropriate framework for much of the work on formal software specification and develop