 Institution (computer science)

In computer science, the term "institution" can refer to a framework for formalizing and studying the semantics of various programming languages, systems, or computational models. It is often related to the concept of formal methods, which are mathematical techniques used to specify, develop, and verify software and hardware systems. One of the key concepts in this context is "Institution theory," which was introduced by researchers such as Goguen and Burstall.