Abstract | ||
---|---|---|
We propose a generalization of the notion of theoroidal comorphism, motivated by several logic translations of practical importance, encountered in the implementation of Heterogeneous Tool Set Hets. We discuss the impact of this generalization on the level of heterogenous specifications, by presenting the Grothendieck construction over a diagram of institutions and translations modelled as generalized comorphisms. Conditions for heterogeneous proofs are also evaluated. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-642-03429-9_7 | WADT |
Keywords | Field | DocType |
logic translation,heterogeneous tool set hets,heterogeneous proof,theoroidal comorphism,practical importance,grothendieck construction,heterogenous specification,generalized comorphisms,generalized theoroidal institution comorphisms | Grothendieck construction,Algebra,Computer science,Diagram,Theoretical computer science,Mathematical proof | Conference |
Volume | ISSN | Citations |
5486 | 0302-9743 | 3 |
PageRank | References | Authors |
0.40 | 13 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mihai Codescu | 1 | 89 | 12.58 |