Institution (computer Science)
The notion of institution has been created by Joseph Goguen and Rod Burstall in the late 1970s in order to deal with the "population explosion among the logical systems used in computer science". The notion tries to capture the essence of the concept of "logical system". With this, it is possible to develop concepts of specification languages (like structuring of specifications, parameterization, implementation, refinement, development), proof calculi and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), heterogeneous specification and combination of logics. Recently, institutional model theory has generalized many notions and deep results of model theory.
Read more about Institution (computer Science): Definition, Examples of Institutions, Papers
Famous quotes containing the word institution:
“La la la, Oh music swims back to me
and I can feel the tune they played
the night they left me
in this private institution on a hill.”
—Anne Sexton (1928–1974)