Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Institution_(computer_science)> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- Institution_(computer_science) abstract "The notion of institution has been created by Joseph Goguen and Rod Burstall in the late 1970sin order to deal with the "population explosion among the logical systems used incomputer 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.".
- Institution_(computer_science) wikiPageExternalLink inst.html.
- Institution_(computer_science) wikiPageExternalLink Institutions__institution-independent.
- Institution_(computer_science) wikiPageExternalLink flirts.
- Institution_(computer_science) wikiPageID "2156522".
- Institution_(computer_science) wikiPageRevisionID "602663655".
- Institution_(computer_science) hasPhotoCollection Institution_(computer_science).
- Institution_(computer_science) subject Category:Model_theory.
- Institution_(computer_science) subject Category:Theoretical_computer_science.
- Institution_(computer_science) comment "The notion of institution has been created by Joseph Goguen and Rod Burstall in the late 1970sin order to deal with the "population explosion among the logical systems used incomputer science".".
- Institution_(computer_science) label "Institution (computer science)".
- Institution_(computer_science) sameAs m.06q_kr.
- Institution_(computer_science) sameAs Q6041045.
- Institution_(computer_science) sameAs Q6041045.
- Institution_(computer_science) wasDerivedFrom Institution_(computer_science)?oldid=602663655.
- Institution_(computer_science) isPrimaryTopicOf Institution_(computer_science).